Email Record: Nondeterminism in algebraic specifications and algebraic programs /