Specifying the Apple Macintosh Toolbox Event Manager. - C. T. Burton; S. J. Cook; S. Gikas; J. R. Rowson; S. T. Sommerville (Formal Aspects Comput., 1989)