A specifier’s introduction to formal methods (1990)

by J M Wing
Venue:Wills94] Wills, A. Refinement in Fresco. In Lano and Houghton [Lano-Haughton94], chapter 9