Books.md @master — view markup · raw · history · blame
Refinement Calculus Books
Programming from Specifications
- authors: Carroll Morgan
- date: 1990
- online @ www.cs.ox.ac.uk
.
a Practical Theory of Programming
- authors: Eric C. R. Hehner
- date: 2005 - present
- online @ www.cs.toronto.edu
changelog at http://www.cs.utoronto.ca/~hehner/aPToP/changelog.pdf
Refinement Calculus: A Systematic Introduction
- authors: Ralph-Johan Back, Joakim von Wright
- date: 1997
- online @ lara.epfl.ch
.