1. Goguen, J.A., Thatcher, J.W., Wagner, E.G., Wright, J.B.: Initial algebra semantics and continuous algebras. JACM 24(1), 68–95 (1977)
2. Goguen, J.A., Thatcher, J.W., Wagner, E.G., Wright, J.B.: An initial algebra approach to the specification, correctness, and implementation of abstract data types. In : Yeh, R.T. (ed.) Current trends in programming methodology, pp. 80–149. Englewood Cliffs: Prentice Hall 1978
3. Thatcher, J.W., Wagner, E.G., Wright, J.B.: More on advice on structuring compilers and proving them correct. Proceedings ICALP 1979. Lecture Notes in Computer Science. Vol. 71. Berlin Heidelberg New York: Springer 1979
4. Aho, A.V., Ullman, J.D.: The theory of parsing, translation and compiling. Englewood Cliffs: Prentice Hall 1973
5. Alblas, H.: A characterization of attribute evaluation in passes. Acta Informatica16, pp. 427–464 (1981)