Über Transformationsregeln für nichdeterministische rekursive Funktionsdefinitionen - Furbach, Ulrich 1948- (1983)
München, Hochsch. d. Bundeswehr, Diss.