Nondeterminism in algebraic specifications and algebraic programs - Hußmann, Heinrich 1959-2022 (Birkhäuser, 1993)