1. [
1
] R. Bird Ph. Wadler: Introduction to Functional Programming; Prentice-Hall 1988. [1] R. Bird Ph. Wadler: Introduction to Functional Programming; Prentice-Hall 1988.
2. Using Prolog to present abstract machines
3. [
3
] T. A. Sudkamp: Languages and Machines An Introduction to the Theory of Computer Science; Addison-Wesley Pub. Co. Inc. 1988; pp. 132-133. [3] T. A. Sudkamp: Languages and Machines An Introduction to the Theory of Computer Science; Addison-Wesley Pub. Co. Inc. 1988; pp. 132-133.
4. [
4
] THE MIRANDA SYSTEM; version 1.019 last revised 1 June 1987; Research Software Ltd 1987. [4] THE MIRANDA SYSTEM; version 1.019 last revised 1 June 1987; Research Software Ltd 1987.