Wright The Re nement Calculator: Proof Support for Program Re nement (1997)

by M J Butler, J Grundy, T Langbacka, R Ruksenas, J von
Venue:Proc. FMP'97 { Formal Methods Paci c