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

by Michael Butler, Jim Grundy, Thomas Langbacka, Rimvydas Ruksenas, Joakim von Wright
Venue:Formal Methods Pacific ’97