Commit ce1d58bc0707c4be0d6c4a424806b9f3cebf8e06 - The-Glosscubator

Merge branch 'master' of https://codeberg.org/cpressey/Bookmarks Chris Pressey a year ago

1 changed file(s) with 2 addition(s) and 0 deletion(s). Raw diff Collapse all Expand all

-0

Refinement.md less more

16	16
17	17	[a Practical Theory of Programming](https://www.cs.toronto.edu/~hehner/aPToP/) (free book)
18	18
	19	[Refinement Calculus: A Systematic Introduction](https://lara.epfl.ch/w/_media/sav08:backwright98refinementcalculus.pdf) (free book)
	20
19	21	[The Retrenchment Homepage](http://www.cs.man.ac.uk/~banach/retrenchment/)