1. Andler, S., Hibbard, P.: Types in Algol 68. Proceedings of the 5th annual III conference, implementation and design of algorithmic languages, pp. 124?144. Paris: IRIA 1977
2. Berry, D.M., Schwartz, R.L.: Type, equivalence in strongly typed languages: one more look. Sigplan Notices 14:5. 35?41 (1979)
3. Branquart, P., Lewi, J., Sintzoff, M., Wodon, P.: The composition of semantics in Algol 68. Commun. ACM 14, 697?708 (1971)
4. Church, A.: The calculi of lambda conversion. Princeton, NJ: Princeton University Press 1941
5. Cleaveland, J.C., Uzgalis, R.C.: Grammars for programming languages. Amsterdam: North-Holland 1976