Nondeterministic algebraic specifications - Hußmann, Heinrich 1959-2022 (Techn. Univ., München, Inst. für Informatik, 1991)
Zugl.: Passau, Univ., Diss., 1988