On algebraic specifications of computable algebras with the discriminator technique G. Gagliardi; S. Tulipani — 1990 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications