Reihe Lecture Notes in Computer ScienceAndrzej Blikle × MetaSoft PrimerTowards a Metalanguage for Applied Denotational SemanticsAndrzej BlikleSpringer BerlineBook2005 MetaSoft PrimerTowards a Metalanguage for Applied Denotational SemanticsAndrzej BlikleSpringer BerlinSoftcover1987