Claus Reinke
Elemente einer kombinierten funktionalen/logischen Sprache (Ein Konzept für die Erweiterung einer Reduktionssprache)
MSc thesis, University of Kiel, May 1991 (PDF)