1. LNCS n denotes Lecture Notes in Computer Science Volume n, Springer-Verlag.
2. [Bjørner and Oest 80] Bjorner, D., Oest, O.N., Towards a Formal Description of Ada. LNCS 98, 1980.
3. [Burstall and Goguen 81] Burstall, R.M., Goguen, J.A., Algebras, Theories and Frees: An Introduction for Computer Science. 1981.
4. [Curry, Feys, Craig 68] Curry, H.B., Feys, R., Craig, W., Combinatory Logic. Vol1, Amsterdam, North Holland, 1968.
5. [Dijkstra 76] Dijkstra, E., A Discipline of Programming, Prentice Hall, 1976.