Refinement Calculus: a systematic introduction. Graduate texts in computer science (1998)

by R J Back, J von Wright