A refinement calculus for specifications in Hennessy-Milner logic with recursion Sören Holmström OriginalPaper Pages: 242 - 272
Program development in the constructive set theory TK Martin C. Henson OriginalPaper Pages: 173 - 192
Specifying the apple Macintosh™ Toolbox event manager C. T. BurtonS. J. CookS. T. Sommerville OriginalPaper Pages: 147 - 171
The RAISE language, method and tools Mogens NielsenKlaus HavelundChris George OriginalPaper Pages: 85 - 114