Lambda-Kalkül Schemata als Kontrollstrukturen für LISP-Programme. - N. Bauchrowitz; F. Simon (GI Jahrestagung, 1980)