Nondeterminism in Algebraic Specifications and Algebraic Programs