The semantics of lazy functional languages
scientific article; zbMATH DE number 4112054