Manfred Broy. On the Herbrand Kleene Universe for Nondeterministic Computations. In Michal Chytil, Václav Koubek, editors, Mathematical Foundations of Computer Science 1984, Praha, Czechoslovakia, September 3-7, 1984, Proceedings. Volume 176 of Lecture Notes in Computer Science, pages 214-222, Springer, 1984.
Abstract is missing.