1. (JAG,JWT,EGW): An initial algebra approach to the specification, correctness, and implementation of abstract data types, IBM Research Report RC-6487, Oct 1976. Current Trends in Programming Methodology, IV: Data Structuring (R.T. Yeh, Ed.) Prentice Hall, New Jersey (1978), pp. 80–149
2. (JWT,EGW,JBW) J.W. Thatcher, E.G.Wagner, J.B. Wright: Data Type Specification: parameterization and the power of specification techniques, Proc. SIGACT 10th Annual Symp. on Theory of Computing, May 1978, pp. 119–132, revised version in IBM Research Report RC-7757 (1979)
3. (HE,HJK,JWT,EGW,JBW) H. Ehrig, H.-J. Kreowski, J.W. Thatcher, E.G. Wagner, J.B. Wright: Parameterized data types in algebraic specification languages, Proc. 7th ICALP Nordwijkerhout, July 1980: Lect. Not. in Comp. Sci. (1980), pp. 157–168
4. (HE,HJK,JWT,EGW,JBW) H. Ehrig, H.-J. Kreowski, J.W. Thatcher, E.G. Wagner, J.B. Wright: Parameter passing in algebraic specification languages, Draft Version, TU Berlin, March 1980
5. Arbib, M.A., Manes, E.G.: Arrows, Structures and Functors: The categorical imperative, Academic Press, New York, 1975