This work has been made possible through the support extended to the Massachusetts Institute of Technology, Electronic Systems Laboratory, by the Manufacturing Technology Laboratory, ASD, Wright-Patterson Air Force Base, under Contract No. AF-33(600)- 42859. It is published for technical information only and does not necessarily represent the recommendations or conclusions of the sponsoring agency.
Get full access to this article
View all access options for this article.
References
1.
Ross, D.T., "A Generalized Technique for Symbol Manipulation and Numerical Calculation ," Communications of the Association for Computing Machinery , Vol. 4, No. 3, pp. 147-150, March 1961.
2.
Ross, D.T., "An Algorithmic Theory of Language," Report ESL-TM-156, Electronic Systems Laboratory, Massachusetts Institute of Technology, 67 pp. November 1962. Not published.
3.
Sutherland, I.E., "Sketchpad, A Man-Machine Communication System," Proceedings of the Spring Joint Computer Conference, Detroit, Michigan, May 21-23, 1963. (To be reprinted in a future issue of SIMULATION.)
4.
Johnson, T.E. , "Sketchpad III, A Computer Program for Drawing in Three Dimensions," Proceedings of the Spring Joint Computer Conference, Detroit, Michigan, May 21-23, 1963. (To be reprinted in a future issue of SIMULATION.)
5.
Markov, A.A. , Theory of Algorithms, Academy of Sciences, USSR, 1954. (Translated by Jacques T. Schorr-Kon, et al., Office of Technical Services, Washington), 444 pp.
6.
McCarthy, J. "Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part 1," Communications of the Association for Computing Machinery, Vol. 3, No. 4, pp. 184-195, April 1960.
7.
Ross, D.T., "Research on the Evaluation of Simultaneous Logical Functions," Investigations in Computer-Aided Design, Interim Report No.1, Report 8436-IR-1 , Electronic Systems Laboratory, Massachusetts Institute of Technology, pp. 47-66, May 30, 1960.
