N. Adams, D. Kranz, Richard Kelsey, J. Rees, P. Hudak, J. Philbin. ORBIT: an optimizing compiler. ACM Compiler Construction, 1986, 219--233. url
J.W. Backus et al. P. Naur (ed). The report on the algorithmic language Algol 60. Communications of the ACM, 1963, 6(1), 1--17. url
K.E. Iverson. A Programming Language. John Wiley & Son's. 1962. url
Kam & Ullman Monotone data flow analysis frameworks Acta Informatica, 1977, 7, 305--317. url
L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 1978, 21(7), 558--565. url
J. McCarthy. Recursive functions of symbolic expressions and their computation by machine, part I. Communications of the ACM, 1960, 3(4), 184--195 url
J.C. Reynolds. Types, abstraction and parametric polymorphism. Information Processing (IFIP), 1983, 513--523. IFIP Congress 1983 url