Design of algebraic data structures with the approach of abstract data types. - Giorgio Ausiello; Giovanni Mascari (EUROSAM, 1979)