About the Implementability and the Power of Equationally Defined Data Abstractions. - G. Callegarin; Giuliano Pacini (Theor. Comput. Sci., 1981)