The RAISE language, method and tools Mogens NielsenKlaus HavelundChris George OriginalPaper Pages: 85 - 114
Specifying the apple Macintosh™ Toolbox event manager C. T. BurtonS. J. CookS. T. Sommerville OriginalPaper Pages: 147 - 171
Program development in the constructive set theory TK Martin C. Henson OriginalPaper Pages: 173 - 192
A refinement calculus for specifications in Hennessy-Milner logic with recursion Sören Holmström OriginalPaper Pages: 242 - 272
Automated analysis of mutual exclusion algorithms using CCS D. J. Walker OriginalPaper Pages: 273 - 292
A functional programming approach to the specification and verification of concurrent systems Peter DybjerHerbert P. Sander OriginalPaper Pages: 303 - 319
Issues in the design of a parallel object-oriented language Pierre America OriginalPaper Pages: 366 - 411