1. J.A. Goguen, J.W. Thatcher, E.G. Wagner: An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types. In: Current Trends in Programming Methodology, Vol. IV, R.T. Yeh (editor), Prentice-Hall 1978.
2. D. Bjørner: Formal Development of Interpreters and Compilers, DtH ID673, 1977.
3. J.W. De Bakker, W.P. De Roever: A Calculus for Recursive Program Schemes. In: Automata, Languages, Programming, Nivat (editor), North-Holland, Amsterdam 1972.
4. H. Ganzinger: Transforming Denotational Semantics into practical Attribute Grammars. In: Semantics-Directed Compiler Generation, LNCS 94, N.D. Jones (editor), 1980.
5. M.J.C. Gordon: The Denotational Description of Programming Languages — An Introduction, Springer-Verlag 1979.