Über Transformationsregeln für nichtdeterministische rekursive Funktionsdefinitionen - Furbach, Ulrich 1948- (Hochschule der Bundeswehr München, Fachbereich Informatik, 1983)