Refinement Calculus: A Systematic Introduction (1998)

by Ralph-Johan Back, Joakim von Wright
Venue:Graduate Texts in Computer Science