Scott, Dana "Outline of a Mathematical Theory of Computation", TM PRG-2, PRG, Oxford U, 1971.

Languages mentioned

• LAMBDA {1971}