Über Transformationsregeln für nichtdeterministische rekursive Funktionsdefinitionen - Furbach, Ulrich 1948- (1983)