Abstract data-types as initial algebras and correctness of data representations (1975)

by J A Goguen, J W Thatcher, E G Wagner, J B Wright
Venue:Proc. Conf. on Comptr. Graphics, Pattern Recognition and Data Structure