1. ADJ (GOGUEN, J.A., J.W. THATCHER, E.G. WAGNER & J.B. WRIGHT), Initial algebra semantics and continuous algebras
2. ADJ (GOGUEN, J.A., J.W. THATHER & E.G. WAGNER), An initial algebra approach to the specification, correctness and implementation of abstract data types, in R.T. Yeh (ed.): Current trends in programming methodology IV, Data structuring, Prentice Hall, Englewood Cliffs (1978), 80–149.
3. ADJ (THATCHER, J.W., E.G. WAGNER & J.B. WRIGHT), More advice on structuring compilers and proving them correct, in: H.A. Maurer (ed.), Automata, languages and programming, 6th Colloquium, Springer LNCS 71 (1979), 596–615.
4. ADJ (EHRIG, H., H.-J. KREOWSKI, J.W. THATCHER, E.G. WAGNER & J.B. WRIGHT), Parameterized data types in algebraic specification languages, in: J.W. de Bakker & J. van Leeuwen (eds.), Automata, languages and programming, 7th Colloquium, Springer LNCS (1980), 157–168.
5. BACK, R.J., Locality in modular systems, in: M. Nielsen & E.M. Schmidt (eds.), Automata, languages and Programming, 9th Colloquium, Springer LNCS 140 (1982), 1–13.