Definitional interpreters for higher-order programming languages
scientific article; zbMATH DE number 1294120