1. Goguen, J.A., Thatcher, J.W., Wagner, E.G.: “An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types”, In: Yeh, R.T. (ed.): Current Trends in Programming Methodology, Vol IV: Data Structuring, Prentice Hall, New Jersey, 1978, pp. 80–149
2. Chamberlin, D.D., King, J.C., Slutz, D.R., Todd, S.J.P., Wade, B.W.: “JANUS: An Interactive System for Document Composition”, Proceedings of the ACM SIG-PLAN SIGOA Symposium on Text Manipulation, Portland/Oregon, SIGOA Newsletter, Vol. 2, No. 1+2, June 1981, pp. 82–91
3. Clocksin, W.F., Mellish, C.S.: “Programming in Prolog”, Springer-Verlag, Berlin Heidelberg New York, 1981
4. Goldberg, A., Robson, D.: “Smalltalk-80, The Language and its Implementation”, Addison Wesley, 1983
5. Gnutknecht, J.: “Concepts of the Text Editor Lara”, Comm. of the ACM, Vol. 28, No. 9, 1985, pp. 942–960