An initial approach to the specification, correctness and implementation of abstract data types (1978)

by J A Goguen, J W Thatcher, E G Wagner
Venue:Data Structuring, volume 4 of Current Trends in Programming Methodology