An initial algebra approach to the speci correctness and implementation of abstract data types (1978)

by J A Goguen, J W Thatcher, E G Wagner
Venue:Current Trends in Programming Methodology