You are about to access our book library "Nondeterminism in algebraic specifications and algebraic programs (Progress in theoretical computer science) full version" .