1965
5 works on record
Deduktive Datenbanken
Datatype-generic Programming
Mathematics of Program Construction
Einführung in die funktionale Programmierung mit Miranda
Implementation and Application of Functional Languages