Algebraic specification of abstract data types - Gaudel, Marie-Claude (1979)