The call-by-need lambda calculus
scientific article; zbMATH DE number 1270234