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:In Proceedings of the Conference on Computer Graphics, Pattern Recognition and Data Structures