John V. Guttag James J. Horning The Algebraic Specification of Abstract Data Types. 27-52 1978 10 Acta Inf. db/journals/acta/acta10.html#GuttagH78