Nondeterminism in Algebraic Specifications and Algebraic Programs
Heinrich Hußmann · Birkhäuser Boston eBooks · 1993
Algebraic specification, nondeterminism and term rewriting are three active research areas aiming at concepts for the abstract description of software systems: Algebraic specifications are well-suited