"MetaSoft primer: towards a metalanguage for applied denotational semantics" - читать интересную книгу автора (Blikle A.)