Author:
Elgot Calvin C.,Robinson Abraham
Reference10 articles.
1. Naur, P. (Ed.) Report on the algorithmic language ALGOL 60. Comm. ACM 3, 5 (May 1960), 299–314
2. Naur, P. (Ed.) Report on the algorithmic language ALGOL 60. Numer. Math. 2, (1960), 106–136.
3. Davis, M.Computability and Unsolvability. McGraw Hill, New York, 1958.
4. Hermes, H.Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit, Einführung in die Theorie der Recursiven Funktionen. Berlin, Springer, 1961.
5. Goldstine, H. H., and vonNeumann, J. Planning and coding of problems for an electronic computing instrument. Rep. 1947, Inst. Adv. Study, Princeton.