Über vollständig operationell adäquate denotationelle Semantik funktionaler Programmiersprachen Ausarbeitung e. Teils d. Vorlesung Informatik III im Wintersemester 1987/88 - Langmaack, Hans (Institut für Informatik und Praktische Mathematik <Kiel>: Bericht, 1989)