Peter Bachmann Phan Minh Dung Nondeterministic Computations - Structure and Axioms. 243-261 1986 22 Elektronische Informationsverarbeitung und Kybernetik 5/6 db/journals/eik/eik22.html#BachmannD86