Journal: Formal Asp. Comput.

Volume 1, Issue 2

147 -- 171C. T. Burton, S. J. Cook, S. Gikas, J. R. Rowson, S. T. Sommerville. Specifying the Apple Macintosh Toolbox Event Manager
173 -- 192Martin C. Henson. Program Development in the Constructive Set Theory TK
193 -- 211Matthew M. Huntbach. Meta-interpreters and Partial Evaluation in Parlog