Books

Short works

Books : reviews

Ralph-Johan Back, Joakim von Wright.
Refinement Calculus: a systematic introduction.
Springer. 1998