The Refinement Calculator: Proof Support for Program Refinement (1997)

by M Butler, J Grundy, T Løangbacka, R Rukšenas, J von Wright
Venue:Proc. of Formal Methods