The algebraic specification of abstract data types (1978)

by J Guttag, J J Horning
Venue:Acta Informatica