MetaSoft primer : : towards a metalanguage for applied denotational semantics - Blikle, Andrzej (Lecture notes in computer science ;, 1987)