Nondeterministic algebraic specifications - Hußmann, Heinrich 1959-2022 (Technische Universität <München>: TUM, 1991)