MetaSoft Primer, Towards a Metalanguage for Applied Denotational Semantics, volume 288 of LNCS (1987)

by Andrzej Blikle