1. Arvind, and Gostelow, K.P. A new interpreter for data flow schemas and its implications for computer architecture. Tech. Rep. No. 72, Dept. Comptr. Sci., U. of California, Irvine, Oct. 1975.
2. Backus, J. Programming language semantics and closed applicative languages. Conf. Record ACM Symp. on Principles of Programming Languages, Boston, Oct. 1973, 71–86.
3. Berkling, K.J. Reduction languages for reduction machines. Interner Bericht ISF-76–8, Gesellschaft für Mathematik and Datenverarbeitung MBH, Bonn, Sept. 1976.
4. Burge, W.H. Recursive Programming Techniques. Addison-Wesley, Reading, Mass., 1975.
5. Church, A. The Calculi of Lambda-Conversion. Princeton U. Press, Princeton, N.J., 1941.