References
Jan A. Bergstra
with Tucker John V (2006). Elementary algebraic specifications of the rational complex numbers. In K. Futatsugi, J. Jouannaud & J. Meseguer (eds.) Algebra, meaning, and computation (pp. 459-475). Dordrecht: Springer.
with Tucker John V (2006). Elementary algebraic specifications of the rational complex numbers. In K. Futatsugi, J. Jouannaud & J. Meseguer (eds.) Algebra, meaning, and computation (pp. 459-475). Dordrecht: Springer.