SEMANOL (73), a metalanguage for programming the semantics of programming languages
scientific article; zbMATH DE number 3485169