Graphdurchlauf mit Vererbung und Synthese eine Fallstudie über die Parameterisierung von Programmen mittels ML-Funktoren - Berghammer, Rudolf 1952- (Bericht / Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, 1994)