It Began with Babbage (65 page)

Ingerman, P. Z. (1966).
A syntax-oriented translator
. New York: Academic Press.

Iverson, K. E. (1962).
A programming language
. New York: Wiley.

Iverson, K. E. (1980). Notation as tool of thought.
Communications of the ACM, 23
, 444–465.

Iverson, K. E. (1981). Transcript of presentation. In R. L. Wexelblat (Ed.),
A history of programming languages
(pp. 674–682). New York: Academic Press.

Jeffress, L. A. (Ed.). (1951).
Cerebral mechanisms in behavior: The Hixon Symposium
. New York: Wiley.

Jones, J. C. (1980).
Design methods: Seeds of human future
(2nd ed.). New York: Wiley.

Juley, J. (1947). The Ballistic Computer.
Bell Laboratories Records, 24
, 5–9.

Kasami, T. (1965).
An efficient recognition and syntax analysis algorithm for context free languages
. Scientific report. AFCRL-65-758. Bedford, MA: Air Force Cambridge Research Laboratory.

Kilburn, T. (1949). The Manchester University digital computing machine. In Anon. (1950).
Report of a conference on high speed automatic calculating machines, June 22–25, 1949
(pp. 119–122). Cambridge, UK: University Mathematical Laboratory.

Kilburn, T. (1951). The new computing machine at the University of Manchester.
Nature, 168
, 95–96.

Kilburn, T., Edwards, D. B. G., Lanigan, M. J., & Sumner, F. H. (1962). One level storage system.
IRE Transactions on Electronic Computers, EC-11
, 223–235.

Kleene, S. C. (1956). Representation of events in nervous nets and finite automata. In C. E. Shannon & E. F. Moore (Eds.),
Automata studies
(pp. 3–41). Princeton, NJ: Princeton University Press.

Knuth, D. E. (1965). On the translation of languages from left to right.
Information & Control, 8
, 607–639.

Knuth, D. E. (1966). Letter to the editor.
Communications of the ACM, 9
, 654.

Knuth, D. E. (1968).
The art of computer programming. Volume 1: Fundamental algorithms
. Reading, MA: Addison-Wesley.

Knuth, D. E. (1969).
The art of computer programming. Volume 2: Seminumerical algorithms
. Reading, MA: Addison-Wesley.

Knuth, D. E. (1970). Von Neumann's first computer program.
ACM Computing Surveys, 2
, 247–260.

Knuth, D. E. (1992).
Literate programming
. Stanford, CA: Center for the Study of Language and Information.

Knuth, D. E. (1996).
Selected papers on computer science
. Stanford, CA: Center for the Study of Language and Information.

Knuth, D. E., & Pardo, L. T. [1977] (1980). The early development of programming languages. In N. Metropolis, J. S. Rowlett, & G.-C. Rota. (Eds.),
A history of computing in the twentieth century
(pp. 197–273). New York: Academic Press.

Koestler, A. (1964).
The act of creation
. London: Hutchinson.

Kohavi, Z. (1970).
Switching and finite automata theory
. New York: McGraw-Hill.

Kuhn, T. S. (1970).
The structure of scientific revolutions
(2nd ed.). Chicago, IL: University of Chicago Press.

LaCapra, D. (1983).
Rethinking intellectual history
. Ithaca, NY: Cornell University Press.

Lachman, R., Lachman, J. L., & Butterfield, E. C. (1979).
Cognitive psychology and information processing
. Hillsdale, NJ: Lawrence Erlbaum Associates.

Lakatos, I., & Musgrave, A. (Eds.). (1970).
Criticism and the growth of knowledge
. Cambridge, UK: Cambridge University Press.

Landes, D. L. (1971).
Revolution in time
. Cambridge, MA: Harvard University Press.

Landin, P. J. (1964). The mechanical evaluation of expressions.
Computer Journal, 6
, 308–320.

Langdon, G. G., Jr. (1974).
Logic design: A review of theory and practice
. New York: Academic Press.

Laning, J. H., Jr., & Zierler, N. (1952).
A program for translation of mathematical equations for Whirlwind I
. Engineering memorandum E-364. Cambridge, MA: MIT Instrumentation Laboratory.

Laudan, L. (1977).
Progress and its problems
. Los Angeles: University of California Press.

Lavington, S. H. (1980). Computer development at Manchester University. In N. Metropolis, J. S. Rowlett, & G.-C. Rota (Eds.),
A history of computing in the twentieth century
(pp. 433–443). New York: Academic Press.

Lavington, S. H. (1998).
A history of Manchester computers
(2nd ed.). London: The British Computer Society.

Lavington, S. H., & Burton, C. (2012).
The Manchester machines
. S.H. Lavington (ed.), 2012.
Alan Turing and his contemporaries
(
chapter 4
). London: British Computer Society.

Lee, J. A. N. (1967).
Anatomy of a compiler
. New York: Rheinhold.

Lewis, P. M., II, Stearns, R. E., & Hartmanis, J. (1965). Memory bounds for recognition of context-free and context-sensitive languages. In
Conference Record, IEEE 6th Annual Symposium on Switching Circuit Theory and Logic Design
(pp. 191–202).

Lovejoy, A. E. (1936).
The great chain of being
. Cambridge, MA: Harvard University Press.

Lowes, J. L. (1930).
The road to Xanadu
. Boston, MA: Houghton-Mifflin.

Lucas, O., & Walk, K. (1969). On the formal description of PL/I. In
Annual review in automatic programming
(pp. 105–182). Oxford: Pergamon Press.

Ludgate, P. E. (1909). On a proposed analytical machine.
Proceedings of the Royal Dublin Society, 12
, 77–91.

Lyons, J. (1970).
Chomsky
. London: Fontana/Collins.

Mandler, G. (1985).
Cognitive psychology
. Hillsdale, NJ: Lawrence Erlbaum Associates.

Mauchly, J. W. (1942).
The use of high speed vacuum tube devices for calculating
. Unpublished memorandum.

Mauchly, J. W. [1947] (1975). Preparations of problems for EDVAC-type machines. In B. Randell (Ed.),
The origins of the digital computer
(2nd ed., pp. 365–369). New York: Springer-Verlag.

Mayr, E. (1982).
The growth of biological thought
. Cambridge, MA: Harvard University Press.

McCarthy, J. (1963). Towards a mathematical science of computation. In
Proceedings of the IFIP Congress 63
(pp. 21–28). Amsterdam: North-Holland.

McCarthy, J. (1981). History of LISP. In R. L. Wexelblat (Ed.),
A history of programming languages
(pp. 173–185). New York: Academic Press.

McCarthy, J., Minsky, M. L., Rochester, N., & Shannon, C. E. (1955).
A proposal for the Dartmouth Summer Research Project on Artificial Intelligence
[On-line]. August 31. Available: http://www.formal.stanford.edu/jmc/history/dartmouth/dartmouth.html

McCulloch, W. S., & Pitts, W. (1943). A logical calculus of the ideas immanent in nervous activity.
Bulletin of Mathematical Biophysics, 5
, 115–133.

McKeeman, W. M., Horning, J. J., & Wortman, D. B. (1970).
A compiler generator
. Englewood-Cliffs, NJ: Prentice-Hall.

McShea, D. W. (1997). Complexity in evolution: A skeptical assessment.
Philosophica, 59
, 79–112.

Mealy, G. H. (1955). A method for the synthesis of sequential circuits.
Bell Systems Technical Journal, 34
, 1045–1079.

Mealy, G. H., Witt, B. I., & Clark, W. A. (1966). The functional structure of the OS/360.
IBM Systems Journal, 5
, 3–51.

Medawar, P. B. (1963). Is the scientific paper a fraud? In P. B. Medawar (1990),
The threat and the glory: Reflections on science and scientists
(pp. 228–233). Oxford: Oxford University Press.

Medawar, P. B., & Medawar, J. S. (1983).
Aristotle to zoo: A philosophical dictionary of biology
. Cambridge, MA: Harvard University Press.

Menabrea, L. F. (1842).
Sketch of the Analytical Engine
[On-line].
Bibliothéque Universelle de Genève
, 52. Available: http://www.fourmilab.ch/babbage/sketch.html

Metropolis, N., Howlett, J. S., & Rota, G.- C. (Eds.). (1980).
A history of computing in the twentieth century
. New York: Academic Press.

Minsky, M. (1967).
Computation: Finite and infinite machines
. Englewood-Cliffs, NJ: Prentice-Hall.

Mollenhoff, C. R. (1988).
Atanasoff: Forgotten father of the computer
. Ames, IA: Iowa State University Press.

Moore, E. F. (1956). Gedanken experiments on sequential machines. In C. E. Shannon & E. F. Moore (Eds.),
Automata studies
(pp. 129–153). Princeton, NJ: Princeton University Press

Moreau, R. (1984).
The computer comes of age
. Cambridge, MA: MIT Press.

Morris, F. L., & Jones, C. B. (1984). An early program proof by Alan Turing.
Annals of the History of Computing, 6
, 139–147.

Moser, N. B. (1954). Compiler method of automatic programming. In
Proceedings of the ONR Symposium on Automatic Programming for Digital Computers
(pp. 15–21). Washington, DC: Office of Naval Research, Department of the Navy.

Nagel, E., & Newman, J. R. (1959).
Godel's proof
. London: Routledge & Kegan Paul.

Naur, P. (Ed.). (1960). Report on the algorithmic language ALGOL 60.
Communications of the ACM, 3
, 299–314.

Naur, P. (Ed.), et al. (1962–1963). Revised report on the algorithmic language ALGOL 60.
Numerische Mathematik, 4
, 420–453.

Naur, P. (1981). The European side of the last phase of the development of Algol 60. In R. L. Wexelblat (Ed.),
A history of programming languages
(pp. 92–139). New York: Academic Press.

Nersessian, N. (1995). Opening the black box: Cognitive science and the history of science.
Osiris, 10
, 196–215.

Newell, A. (1955). The chess machine: An example of dealing with a complex task by adaptation.
Proceedings of the Western Joint Computer Conference, 7
, 101–108.

Newell, A., Perlis, A. J., & Simon, H. A. (1967). What is computer science?
Science
, 157, 1373–1374.

Newell, A., Shaw, C. J., & Simon, H. A. (1958). Elements of a theory of human problem solving.
Psychological Review, 65
, 151–166.

Newell, A., & Simon, H. A. (1956). The Logic Theory machine: A complex information processing system.
IRE Transactions on Information Theory, IT-2
, 61–79.

Newell, A., & Simon, H. A. (1976). Computer science as empirical inquiry: Symbols and search.
Communications of the ACM, 19
, 113–126.

Newell, A., & Simon, H. A. (1972).
Human problem solving
. Englewood-Cliffs, NJ: Prentice-Hall.

Organick, E. I. (1972).
The Multics system: An examination of its structure
. Cambridge, MA: MIT Press.

Organick, E. I. (1973).
Computer systems organization: The B5700/6700 series
. New York: Academic Press.

Organick, E. I., & Hinds, J. A. (1978).
Interpreting machines: Architecture and programming of the B1700/B1800 series
. New York: North-Holland.

Padegs, A. (1964). The structure of System/360. Part IV: Channel design considerations.
IBM Systems Journal, 3
, 165–180.

Peck, J. E. L. (Ed.). (1971).
ALGOL 68 implementation
. Amsterdam: North-Holland.

Perlis, A. J. (1981). The American side of the development of Algol. In R. L. Wexelblat (Ed.),
A history of programming languages
(pp. 75–91). New York: Academic Press.

Petroski, H. (1988).
The evolution of useful things
. New York: Alfred A. Knopf.

Pevsner, N. (1962).
An outline of European architecture
. Harmondsworth, UK: Penguin Books.

Piaget, J. (1976).
The child and reality
. Harmondsworth, UK: Penguin Books.

Polanyi, M. (1962).
Personal knowledge
. Chicago, IL: University of Chicago Press.

Polya, G. (1957).
How to solve it
(2nd ed.). Princeton, NJ: Princeton University Press.

Popper, K. R. (1965).
Conjectures and refutations: The growth of scientific knowledge
. New York: Harper & Row.

Popper, K. R. (1968).
The logic of scientific discovery
. New York: Harper & Row.

Popper, K. R. (1972).
Objective knowledge
. Oxford: Clarendon Press.

Post, E. (1943). Formal reductions of the general combinatorial decision problem.
American Journal of Mathematics, 65
, 197–268.

Pye, D. (1978).
The nature and aesthetics of design
. London: Herbert Press.

Pyenson, L., & Sheets-Pyenson, S. (1999).
Servants of nature
. New York: W.W. Norton.

Pyleshin, Z. W. (1984).
Computation and cognition
. Cambridge, MA: MIT Press.

Radnitzky, G., & Bartley, W.W., III. (Ed.). (1987).
Evolutionary epistemology
. La Salle, IL: Open Court.

Randell, B. (1971). Ludgate's analytical machine of 1909.
The Computer Journal, 14
, 317–326.

Randell, B. (1972). On Alan Turing and the origins of digital computers. In B. Meltzer & D. Michie (Eds.),
Machine intelligence 7
(pp. 3–22). New York: Wiley.

Randell, B. (Ed.) (1975a).
The origins of the digital computer
(2nd ed.). New York: Springer-Verlag.

Randell, B. (1975b). Stored program electronic computers. In B. Randell (Ed.) (1975a),
The origins of the digital computer
(2nd ed., pp. 349–354). New York: Springer-Verlag.

Randell, B. (1980). The Colossus. In N. Metropolis, J. S. Rowlett, & G.- C. Rota (Eds.),
A history of computing in the twentieth century
(pp. 47–92). New York: Academic Press.

Randell, B., & Russell, L. J. (1964).
Algol 60 implementation
. New York: Academic Press.