A language for treating graphs

la. McCARTrtY, J. Recursive functions of symbolic expressions and their computation by machine, Pt. I. Comm. ACM 3, 4 (Apr. 1960), 184-195. lb. , ET AL. LISP 1.5 programmers manual. MIT Press, Cambridge, Mass., 1962. 2. LANDIN, P . J . The next 700 programming languages. Comm. ACM 9, 3 (Mar. 1966), 157-166. 3. EVANS, A. PAL--Alanguage designed for teaching programming linguistics. Proc. ACM 23rd Nat. Conf. 1968, Brandin Systems Press, Princeton, N.J., pp. 395--403. 4. VAN WIJNGAARDEN, A. (Ed.), MAILLOUX, B. J., PECK, J. E. L., AND KOSTER, C. H.A. Report on the algorithmic language ALGOL 68. MR 101, Mathematisch Centrum, Amsterdam, Feb., 1969. 5. CHEATHAM, T. E., JR., FISCHER, A., AND JORRAND, P. On basis for ELF--An extensible language facility. Proc. AFIPS 1968 Fall Joint Comput. Conf., Vol. 33 Pt. 2, MDI Publications, Wayne, Pa., pp. 937-948. 6. BALZER, R. M. Dataless programming. Proc. AFIPS 1967 Fall Joint Comput. Conf. Vol. 31, MDI Publications, Wayne, Pa., pp. 535-544. 7. REYNOLDS, J .C . GEDANKEN--A simple typeless language which permits functional data structures and coroutines. ANL-7621, Argonne Nat. Lab., Argonne, Ill., Sept. 1969. 8. WIRTH, N., AND WEBER, H. EULER--A generalization of ALGOL and its formal definition: Pt. I, Pt. II . Comm. ACM 9, 1 and 2 (Jan., Feb. 1966), 13-25, 89-99. 9. WIRTH, N., AND HOARE, C. A. R. A contribution to the development of ALGOL. Comm. ACM 9, 6 (June 1966), 413-432. 10. FARBER, D. J., GRISWOLD, R. E., AND POLONSKY, L P. The SNOBOL3 programming language. Bell Syst. Tech. J. 45 (July-Aug. 1966), 895--944. 11. KAIN, R. Y. Block structures, indirect addressing, and garbage collection. Comm. ACM lZ, 7 (July 1969), 395-398. 12. BURSTALL, R. M., AND POPPLESTONE, R . J . POP-2 reference manual. In Machine Intelligence g, E. Dale and D. Michie (Eds.), American Elsevier, New York, 1968, pp. 205-246. 13a. DAHL, O. J., AND NYGAARD g . SIMULA--An ALGOLbased simulation language. Comm. ACM 9, 9 (Sept. 1966), 671-678. 13b. , MYrmHAU¢, B., AND NYGAARD, K. SIMULA 67 common base language. Publ. No. S-2, Norwegian Computing Center, Oslo, May 1968. 14. FLOYD, R .W. Nondeterministic algorithms. J. ACM 15, 3 (Oct. 1967), 636-644. 15a. REYNOr,DS, J .C. An introduction to the COGENT programming system. Proc. ACM 20th Natl. Conf., 1965, pp. 422436. 15b. , COGENT programming manual. ANL-7022, Argonne Nat. Lab., Argonne, Ill., Mar. 1965. 16. EARLEY, J. An efficient context-free parsing algorithm. Com. ACM 18:2 (Feb. 1970), 94-102. 17. REYNOLDS, J. C. A set-theoretic approach to the concept of type. Working paper, NATO Conf. on Techniques in Software Engineering, Rome, Oct. 1969. 18a. EVANS, A. Private communication. 18b. MORRIS, J. H. Lambda-calculus models of programming languages. MAC-TR-57, Project MAC, MIT, Cambridge, Mass., Dec. 1968.