Graphdurchlauf mit Vererbung und Synthese eine Fallstudie über die Parameterisierung von Programmen mittels ML-Funktoren - Berghammer, Rudolf 1952- (Inst. für Informatik und Praktische Math., 1994)