On algebraic specifications of computable algebras with the discriminator technique. - G. Gagliardi; Sauro Tulipani (RAIRO Theor. Informatics Appl., 1990)