Generating power of lazy semantics
scientific article; zbMATH DE number 1170297