The algebraic speci of abstract data types (1978)

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