. Hussmann

• Nondeterminism in Algebraic Specifications and Algebraic Programs