the Algebraic Specification of Abstract Data (1978)

by J J Horning J V Guttag
Venue:Types”, Acta Informatica