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