Metasoft primer : towards a metalanguage for applied denotational semantics - Blikle Andrzej (Berlin Springer Verlag, 1987)
Keywords: Denotational semantics