It Began with Babbage (64 page)

Cocke, J., & Schwartz, J. T. (1970).
Programming languages and their compilers
. New York: Courant Institute of Mathematical Sciences.

Codd, E. F. (1968).
Cellular automata
. New York: Academic Press.

Comrie, L. J. (1928). On the construction of tables by interpolation.
Monthly Notices of the Royal Astronomical Society, 88
, 506–523.

Comrie, L. J. (1932). The application of the Hollerith tabulating machine to Brown's tables of the moon.
Monthly Notices of the Royal Astronomical Society, 92
, 694–707.

Conant, J., & Haugeland, J. (Eds.). (2000).
The road since
Structure. Chicago, IL: University of Chicago Press.

Corbató, F. J. (1963).
The compatible time sharing system
. Cambridge, MA: MIT Press.

Corbató, F. J. (1969). PL/I as a tool for system programming.
Datamation
, May, 68–76.

Corbató, F. J., Saltzer, J. H., & Clingen, C. T. (1975). Multics: The first seven years. In P. Freeman (Ed.),
Software systems principles
(pp. 556–577). Chicago, IL: SRA.

Craik, K. J. W. [1943] (1967).
The nature of explanation
. Cambridge, UK: Cambridge University Press.

Crowther, J. G. (1974).
The Cavendish Laboratory, 1874–1974
. New York: Science History Publications.

Dahl, O.- J., Dijkstra, E. W., & Hoare, C. A. R. (1972).
Structured programming
. New York: Academic Press.

Dahl, O.- J., & Nygaard, K. (1966). SIMULA: An Algol-based simulation language.
Communications of the ACM, 9
, 671–682.

Daley, R. C., & Dennis, J.B. (1968). Virtual memory processes and sharing in MULTICS.
Communication of the ACM, 11
, 306–312.

D'Andrade, R. (1995).
The development of cognitive anthropology
. Cambridge, UK: Cambridge University Press.

Dasgupta, S. (1979). The organization of microprogram stores.
ACM Computing Surveys, 11
, 39–65.

Dasgupta, S. (1989).
Computer architecture: A modern synthesis. Volume 1: Foundations
. New York: Wiley.

Dasgupta, S. [1991] (2009).
Design theory and computer science
. Cambridge, UK: Cambridge University Press.

Dasgupta, S. (1992). Computer design and description languages. In M. C. Yovits (Ed.),
Advances in computers
(Vol. 21, pp. 91–155). New York: Academic Press.

Dasgupta, S. (1994).
Creativity in invention and design
. New York: Cambridge University Press.

Dasgupta, S. (1996).
Technology and creativity
. New York: Oxford University Press.

Dasgupta, S. (1997). Technology and complexity.
Philosophica, 59
, 113–139.

Dasgupta, S. (2003). Multidisciplinary creativity: The case of Herbert A. Simon.
Cognitive Science, 27
, 683–707.

Dasgupta, S. (2004). Is creativity a Darwinian process?
Creativity Research Journal, 16
, 403–416.

Dasgupta, S. (2007).
The Bengal Renaissance
. New Delhi: Permanent Black.

Dasgupta, S. (2011). Contesting (Simonton's) blind variation, selective retention theory of creativity.
Creativity Research Journal, 32
, 166–182.

Davis, M. (1958).
Computability and undecidability
. New York: McGraw-Hill.

Davis, M. (Ed.). (1965).
The undecidable
. New York: Raven Press.

Dear, P. (2006).
The intelligibility of nature
. Chicago, IL: University of Chicago Press.

De Bakker, J. W. (1980).
Mathematical theory of program correctness
. Englewood-Cliffs, NJ: Prentice-Hall.

De Groot, A. D. (2008).
Thought and choice in chess
. Amsterdam: Amsterdam University Press.

DeLillo, D. [1985] (1994).
White noise
(Viking critical ed.). New York: Penguin.

Denning, P. J. (1968a). The working set model of program behavior.
Communications of the ACM, 11
, 323–333.

Denning, P. J. (1968b). Thrashing: Its causes and prevention.
Proceedings of the AFIPS 1968 Fall Joint Computer Conference, 33
, 915–922.

Denning, P. J. (1970). Virtual memory.
Computing Surveys, 2
, 153–190.

Dennis, J. B. (1965). Segmentation and design of multiprogrammed computer systems.
Journal of the ACM, 12
, 589–602.

Dennis, J. B., & Misunas, D. P. (1974).
A preliminary architecture for a basic data flow processor
. CSG memo 102. Cambridge, MA: Laboratory for Computer Science, MIT.

Dennis, J. B., & van Horn, E. C. (1966). Programming semantics for multiprogrammed computations.
Communications of the ACM, 9
, 143–155.

De Solla Price, D. K. [1963] (1986).
Little science, big science—and beyond
(Exp. ed.). New York: Columbia University Press.

Dijkstra, E. W. (1965a). Programming considered as a human activity. In
Proceedings of the 1965 IFIP Congress
(pp. 213–217). Amsterdam: North-Holland.

Dijkstra, E. W. (1965b).
Cooperating sequential processes
. Technical report. Mathematics Department, Technische Universiteit Eindhoven, Eindhoven.

Dijkstra, E. W. (1968a). Goto statements considered harmful (letter to the editor).
Communications of the ACM, 11
, 147–148.

Dijkstra, E. W. (1968b). The structure of the “THE” multiprogramming system.
Communications of the ACM, 11
, 341–346.

Dijkstra, E. W. (1969).
Structured programming
. Technical report. Technische Universiteit Eindhoven, Eindhoven.

Dijkstra, E. W. (1971). Hierarchical ordering of sequential processes.
Acta Informatica, 1
, 115–138.

Dingwaney, A., & Maeir, C. (Eds.). (1995).
Between languages and cultures
. Pittsburgh, PA: University of Pittsburgh Press.

Donaldson, M. (1992).
Human minds: An exploration
. Harmondsworth, UK: Penguin Books.

Doran, R. W. (1979).
Computer architecture: A structured approach
. New York: Academic Press.

Earley, J. (1968).
An efficient context-free parsing algorithm
. PhD dissertation, Carnegie-Mellon University.

Eckert, J. P. (1944).
Disclosure of magnetic calculating machine
. Unpublished memorandum.

Eckert, J. P., Mauchly, J. W., Goldstine, H. H., & Brainerd, J. G. (1945).
Description of the ENIAC and comments on electronic digital computing machines
. Contract W670 ORD 4926. Philadelphia, PA: Moore School of Electrical Engineering.

Essenger, J. (2004).
Jaquard's web
. Oxford: Oxford University Press.

Falkoff, A. D., & Iverson, K. E. (1966).
APL\360
. White Plains, NY: IBM Corporation.

Falkoff, A. D., & Iverson, K. E. (1968).
APL\360 user's manual
. White Plains, NY: IBM Corporation.

Falkoff, A. D., & Iverson, K. E. (1981). The evolution of APL. In R. L. Wexelblat (Ed.),
A history of programming languages
(pp. 661–674). New York: Academic Press.

Falkoff, A. D., Iverson, K. E., & Sussenguth, E. H. (1964). A formal description of System/360.
IBM Systems Journal, 3
, 198–262.

Findlay, A. (1948).
A hundred years of chemistry
. London: Gerald Duckworth.

Floyd, R. W. (1963). Syntax analysis and operator precedence.
Journal of the Association for Computing Machinery, 10
, 316–333.

Floyd, R. W. (1964). The syntax of programming languages: A survey.
IEEE Transactions on Computers, EC-13
, 346–353.

Floyd, R. W. (1967). Assigning meaning to programs. In
Mathematical aspects of computer science
(Vol. XIX, pp. 19–32). Providence, RI: American Mathematical Society

Fotheringham, J. (1961). Dynamic storage allocation in the Atlas computer, including the automatic use of a backing store.
Communications of the ACM, 4
, 435–436.

Fukuyama, F. (1992).
The end of history and the last man
. New York: Free Press.

Fuller, S. (2000).
Thomas Kuhn: A philosophical history for our times
. Chicago, IL: University of Chicago Press.

Galison, P. (2010). Trading with the enemy. In M. Gorman (Ed.),
Trading zones and interactive expertise
(pp. 26–51). Cambridge, MA: MIT Press.

Genuys, F. (Ed.). (1968).
Programming languages
. New York: Academic Press.

Gerlenter, H. (1959). Realization of a geometry theorem proving machine. In
Proceedings of the International Conference on Information Processing
(pp. 273–282). London: Butterworth.

Gill, S. (1952).
The application of an electronic digital computer to problems in mathematics and physics
. University of Cambridge, Cambridge.

Ginsburg, S. (1966).
The mathematical theory of context free languages
. New York: McGraw-Hill.

Glass, R. L. (1969). An elementary discussion of compiler/interpreter writing.
Computing Surveys, 1
, 55–77.

Goldstine, H. H. (1972).
The computer from Pascal to von Neumann
. Princeton, NJ: Princeton University Press.

Goldstine, H. H., & Goldstine, A. (1946). The Electronic Numerical Integrator and Computer (ENIAC).
Mathematical Tables and Other Aids to Computation, 2
, 97–110.

Goldstine, H. H., & von Neumann, J. (1947).
Planning and coding problems for an electronic computing instrument
. Unpublished report.

Gombrich, E. H. (1969).
Art and illusion
. Princeton, NJ: Princeton University Press.

Good, I.J. [1976] (1980). Pioneering work on computers at Bletchley. In N. Metropolis, J. S. Rowlett, & G.- C. Rota (Eds.),
A history of computing in the twentieth century
(pp. 31–45). New York: Academic Press.

Gould, S. J. (1977).
Ontogeny and phylogeny
. Cambridge, MA: Belknap Press of Harvard University Press.

Greenberg, J. H. (Ed.). (1963).
Universals of language
. Cambridge, MA: MIT Press.

Greibach, S. A. (1966). The unsolvability of the recognition of linear context free languages.
Journal of the Association for Computing Machinery, 13
, 582–587.

Gries, D. G. (Ed.). (1978).
Programming methodology
. New York: Springer-Verlag.

Gutting, G. (1980).
Paradigms and revolutions
. Notre Dame, IN: University of Notre Dame Press.

Hardy, G. H. (1940).
A mathematician's apology
. Cambridge, UK: Cambridge University Press.

Harrison, E. (1987). Whigs, prigs and historians of science.
Nature
, 329, 233–234.

Hartmanis, J., & Stearns, R. E. (1965). On the computational complexity of algorithms.
Transactions of the American Mathematical Society, 117
, 285–306.

Hartmanis, J., & Stearns, R. E. (1966).
Algebraic structure theory of sequential machines
. Englewood-Cliffs, NJ: Prentice-Hall.

Hartree, D. R. (1949).
Calculating instruments and machines
. Urbana, IL: University of Illinois Press.

Hesse, M. B. (1966).
Models and analogies in science
. London: Sheed & Ward.

Hewett, M. (1998). Interview of Tom Kilburn.
Personal Computer World, May
, 186–188.

Hills, R. L. (1989).
Power from steam: A history of the stationary steam engine
. Cambridge, UK: Cambridge University Press.

Hills, R. L. (1990). Textiles and clothing. In I. McNeill (Ed.),
An encyclopedia of the history of technology
(pp. 803–854). London: Routledge.

Hoare, C. A. R. (1969). An axiomatic basis for computer programming.
Communications of the ACM, 12
, 576–580, 583.

Hodges, A. (1983).
Alan Turing: The Enigma
. New York: Simon and Schuster.

Hodges, H. (1971).
Technology in the ancient world
. Harmondsworth, UK: Penguin Books.

Holland, J., Holyoak, K. J., Nisbett, R. E., & Thagard, P. R. (1986).
Induction
. Cambridge, MA: MIT Press.

Hollerith, H. (n.d.)
An electric tabulating system
. Unpublished manuscript.

Hollerith, H. (1889). An electric tabulating system.
The Quarterly, Columbian University School of Mines, X
, 238–255.

Holmes, R. (2008).
The age of wonder
. New York: Vintage Books.

Hopcroft, J. E., & Ullman, J. D. (1969).
Formal languages and their relation to automata
. Reading, MA: Addison-Wesley.

Hopgood, F. R.A. (1969).
Compiling techniques
. London: MacDonald.

Hopper, G. M. (1978). Keynote address. In R. L. Wexelblat (Ed.),
A history of programming languages
(pp. 7–30). New York: Academic Press.

Huffman, D. A. (1954). The synthesis of sequential switching circuits.
Journal of the Franklin Institute, 257
, 161–190.

Hughes, T. P. (1987). The evolution of large technological systems. In W. E. Bijker, T. P. Hughes, & T. J. Pinch (Eds.),
The social construction of technological systems
(pp. 51–82). Cambridge, MA: MIT Press.

Huskey, H. D., & Wattenberg, W. H. (1961). A basic compiler for algebraic expressions.
Communication of the ACM, 4
, 3–9.

IBM. (1956).
Programmer's reference manual: The FORTRAN automatic coding system for the IBM 704 EDPM
. New York: IBM.

IBM. (1957).
Programmer's primer for FORTRAN automatic coding system for the IBM 704
. New York: Author.

Illife, J. K. (1972).
Basic machine principles
(2nd ed.), London: MacDonald.

Illife, J. K., & Jodeit, J. G. (1962). A dynamic storage allocation scheme.
Computer Journal, 5
, 200–209.

Ince, D. C. (Ed.). (1992).
Collected works of A.M. Turing: Mechanical intelligence
. Amsterdam: North-Holland.