Page:AIM-453.djvu/73

 (Entries marked with a "*" are not referenced in the text.)

[Church] Church, Alonzo. . Annals of Mathematics Studies Number 6. Princeton University Press (Princeton, 1941). Reprinted by Klaus Reprint Corp. (New York, 1965).

[Debunking] Steele, Guy Lewis Jr. "Debunking the 'Expensive Procedure Call' Myth." Proc. ACM National Conference (Seattle, October 1977), 153-162. Revised as MIT AI Memo 443 (Cambridge, October 1977).

[Declarative] Steele, Guy Lewis Jr. . AI Memo 379. MIT AI Lab (Cambridge, November 1976).

[Fischer] Fischer, Michael J. "Lambda Calculus Schemata." Proceedings of ACM Conference on Proving Assertions about Programs. SIGPLAN Notices (January 1972).

[Goto] Goto, Eiichi. . Information Science Laboratory, University of Tokyo (May 1974).

[Hewitt and Smith] Hewitt, Carl, and Smith, Brian. "Towards a Programming Apprentice." IEEE Transactions on Software Engineering SE-1, 1 (March 1975), 26–45.

[Imperative] Steele, Guy Lewis Jr., and Sussman, Gerald Jay. . AI Memo 353. MIT AI Lab (Cambridge, March 1976).

[Kleene] Kleene, Stephen Cole. . Von Nostrand (Princeton, 1950).

[Landin] Landin, Peter J. "A Correspondence between ALGOL 60 and Church's Lambda-Notation." Comm. ACM 8, 2-3 (February and March 1965).