%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.16",
%%%     date            = "15 September 2009",
%%%     time            = "08:01:08 MDT",
%%%     filename        = "turing-alan-m.bib",
%%%     address         = "University of Utah
%%%                        Department of Mathematics, 110 LCB
%%%                        155 S 1400 E RM 233
%%%                        Salt Lake City, UT 84112-0090
%%%                        USA",
%%%     telephone       = "+1 801 581 5254",
%%%     FAX             = "+1 801 581 4148",
%%%     URL             = "http://www.math.utah.edu/~beebe",
%%%     checksum        = "06747 5678 24274 241016",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at computer.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "ACM Turing Awards; artificial intelligence;
%%%                        bibliography; BibTeX; complexity theory;
%%%                        cryptography; Enigma; floating-point
%%%                        arithmetic; Turing bombe; Turing Machine;
%%%                        Turing programming language; Turing Test;
%%%                        rounding errors",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a bibliography of the publications
%%%                        of Alan Mathison Turing (23 June 1912--7 June
%%%                        1954), one of the great pioneers of computer
%%%                        science, including artificial intelligence,
%%%                        complexity theory (and the famous Turing
%%%                        Machine test), computer design, cryptography,
%%%                        and floating-point arithmetic, and also a
%%%                        contributor to pure mathematics and
%%%                        mathematical biology.
%%%
%%%                        There are online biographies and Web sites
%%%                        about Alan Turing at
%%%
%%%                            http://csilluminated.jbpub.com/biographical_chapter.cfm?chapter=17
%%%                            http://home.cern.ch/~frode/crypto/Turing/index.html
%%%                            http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Turing.html
%%%                            http://www.alanturing.net/
%%%                            http://www.turing.org.uk/bio/part1.html
%%%                            http://www.turing.org.uk/turing/
%%%                            http://www.wadham.ox.ac.uk/~ahodges/Turing.html
%%%
%%%                        There is also a digital archive of Turing's
%%%                        works and biographical information at
%%%
%%%                            http://turing.ecs.soton.ac.uk/
%%%                            http://www.turingarchive.org/trust/
%%%
%%%                        Turing's secret work at Bletchley Park during
%%%                        the 1939--1945 war was extremely important,
%%%                        but was classified by the British Official
%%%                        Secrets Act for fifty years after the war.
%%%                        The work at Bletchley Park is documented in
%%%                        various Web pages at
%%%
%%%                            http://www.bletchleypark.org.uk/
%%%
%%%                        The prestigious annual ACM Turing Award
%%%                        (1966--date) is named after Turing, and is
%%%                        often called the Nobel Prize of Computer
%%%                        Science.  All of the ACM Turing Awards are
%%%                        listed in a separate bibliography in the TeX
%%%                        User Group bibliography archive:
%%%
%%%                            http://www.math.utah.edu/pub/tex/bib/index-table-a.html#acm-turing-awards
%%%
%%%                        The Turing and Turing Plus programming
%%%                        languages are also named after him, as is
%%%                        a lecture series given annually in the UK
%%%                        since the late 1990s.
%%%
%%%                        From 2001, the British Computer Society and
%%%                        IEE jointly hold an annual Turing Lecture:
%%%
%%%                            http://www.bcs.org/BCS/Awards/Events/TuringLecture/
%%%
%%%                        All of these lectures are recorded in this
%%%                        bibliography.
%%%
%%%                        It is a human tragedy, and a tremendous loss
%%%                        to science, that this great individual who
%%%                        had contributed so much to science, and, in
%%%                        secret, to the winning of the Second World
%%%                        War, was after the War treated so badly by
%%%                        society, that he was eventually driven to
%%%                        suicide.  See entry Brown:2009:TAT for a
%%%                        belated apology and recognition by the
%%%                        British government.
%%%
%%%                        In his 1970 ACM Turing Award Lecture (cited
%%%                        below), Jim Wilkinson, who worked closely
%%%                        with Turing from 1946 to 1948, wrote this
%%%                        about Turing:
%%%
%%%                            ``However, I feel bound to say that his
%%%                            published work fails to give an adequate
%%%                            impression of his remarkable versatility
%%%                            as a mathematician. His knowledge ranged
%%%                            widely over the whole field of pure and
%%%                            applied mathematics and seemed, as it
%%%                            were, not merely something he had learned
%%%                            from books, but to form an integral part
%%%                            of the man himself. One could scarcely
%%%                            imagine that he would ever `forget' any
%%%                            of it. In spite of this he had only
%%%                            twenty published papers to his credit
%%%                            (and this only if one includes virtually
%%%                            everything), written over a period of
%%%                            some twenty years. Remarkable as some of
%%%                            these papers are, this work represents a
%%%                            mere fraction of what he might have done
%%%                            if things had turned out just a little
%%%                            differently.''
%%%
%%%                            ``... A second factor limiting his output
%%%                            was a marked disinclination to put pen to
%%%                            paper. At school he is reputed to have
%%%                            had little enthusiasm for the `English
%%%                            subjects' and he seemed to find the
%%%                            tedium of publishing a paper even more
%%%                            oppressive than most of us do.''
%%%
%%%                        Wilkinson also reported:
%%%
%%%                            ``It is perhaps salutary to be reminded
%%%                            that as early as 1946 Turing had
%%%                            considered the possibility of working
%%%                            with both interval and significant digit
%%%                            arithmetic and the report recalled
%%%                            forgotten conversations, not to mention
%%%                            heated arguments, which we had on this
%%%                            topic.''
%%%
%%%                        Harry D. Huskey (cited below) recalled:
%%%
%%%                            ``That spring Turing was asked to give a
%%%                            series of lectures to the people at the
%%%                            Ministry of Supply. Leslie Fox (who
%%%                            worked on relaxation methods), Wilkinson,
%%%                            and I rode up to London with Turing. On
%%%                            the way we talked about design
%%%                            problems. I can remember discussing
%%%                            rounding of floating point numbers and
%%%                            Turing becoming so upset that he could
%%%                            hardly give his lecture.''
%%%
%%%                        At version 1.16, the year coverage looked
%%%                        like this:
%%%
%%%                             1935 (   1)    1960 (   2)    1985 (   4)
%%%                             1936 (   1)    1961 (   0)    1986 (   4)
%%%                             1937 (   3)    1962 (   0)    1987 (   8)
%%%                             1938 (   3)    1963 (   1)    1988 (  11)
%%%                             1939 (   1)    1964 (   1)    1989 (   5)
%%%                             1940 (   1)    1965 (   3)    1990 (   5)
%%%                             1941 (   0)    1966 (   0)    1991 (   3)
%%%                             1942 (   2)    1967 (   0)    1992 (   7)
%%%                             1943 (   1)    1968 (   0)    1993 (   6)
%%%                             1944 (   0)    1969 (   2)    1994 (   6)
%%%                             1945 (   1)    1970 (   0)    1995 (   5)
%%%                             1946 (   1)    1971 (   1)    1996 (   7)
%%%                             1947 (   2)    1972 (   4)    1997 (   7)
%%%                             1948 (   2)    1973 (   0)    1998 (   4)
%%%                             1949 (   3)    1974 (   1)    1999 (   7)
%%%                             1950 (   2)    1975 (   0)    2000 (   6)
%%%                             1951 (   4)    1976 (   0)    2001 (  11)
%%%                             1952 (   1)    1977 (   2)    2002 (   5)
%%%                             1953 (   1)    1978 (   1)    2003 (  10)
%%%                             1954 (   1)    1979 (   1)    2004 (   7)
%%%                             1955 (   0)    1980 (   3)    2005 (  11)
%%%                             1956 (   0)    1981 (   1)    2006 (  11)
%%%                             1957 (   0)    1982 (   0)    2007 (   3)
%%%                             1958 (   0)    1983 (   6)    2008 (   0)
%%%                             1959 (   1)    1984 (   5)    2009 (   2)
%%%
%%%                             Article:         63
%%%                             Book:           107
%%%                             InCollection:     3
%%%                             InProceedings:    5
%%%                             Manual:           1
%%%                             Misc:            18
%%%                             PhdThesis:        3
%%%                             Proceedings:      5
%%%                             TechReport:      16
%%%
%%%                             Total entries:  221
%%%
%%%                        Several of Turing's works were republished
%%%                        posthumously, which accounts for some of the
%%%                        post-1952 dates in the table.
%%%
%%%                        The name Turing is found in the titles of
%%%                        many publications in computer science, far
%%%                        too many to include here.  However, a few
%%%                        additional entries are included in this
%%%                        bibliography because they are biographies of,
%%%                        or plays about, Turing, or comment directly
%%%                        on his publications, or include collections
%%%                        of his published works.
%%%
%%%                        This bibliography was collected from
%%%                        multiple sources:
%%%
%%%                        * the author's own files;
%%%                        * the TeX User Group bibliography
%%%                          collection at
%%%                          ftp://ftp.math.utah.edu/pub/tex/bib;
%%%                        * the very large Computer Science
%%%                          bibliography collection at
%%%                          ftp://ftp.ira.uka.de/pub/bibliography, to
%%%                          which many people have contributed;
%%%                        * Internet library catalogs, including
%%%                          University of California MELVYL, Library of
%%%                          Congress, Karlsruhe Virutal Catalog, and
%%%                          OCLC WorldCat database;
%%%                        * the AMS MathSciNet database;
%%%                        * the European Mathematical Society database.
%%%
%%%                        BibTeX citation tags are uniformly chosen
%%%                        as name:year:abbrev, where name is the
%%%                        family name of the first author or editor,
%%%                        year is a 4-digit number, and abbrev is a
%%%                        3-letter condensation of important title
%%%                        words. Citation tags were automatically
%%%                        generated by software developed for the
%%%                        BibNet Project.
%%%
%%%                        In this bibliography, entries are sorted
%%%                        first by ascending year, and within each
%%%                        year, alphabetically by author or editor,
%%%                        and then, if necessary, by the 3-letter
%%%                        abbreviation at the end of the BibTeX
%%%                        citation tag, using the bibsort -byyear
%%%                        utility.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================

%%% ====================================================================
%%% Acknowledgement abbreviations:

@String{ack-nhfb = "Nelson H. F. Beebe,
                    University of Utah,
                    Department of Mathematics, 110 LCB,
                    155 S 1400 E RM 233,
                    Salt Lake City, UT 84112-0090, USA,
                    Tel: +1 801 581 5254,
                    FAX: +1 801 581 4148,
                    e-mail: \path|beebe@math.utah.edu|,
                            \path|beebe@acm.org|,
                            \path|beebe@computer.org| (Internet),
                    URL: \path|http://www.math.utah.edu/~beebe/|"}

%%% ====================================================================
%%% Institution abbreviations:

@String{inst-NPL                = "National Physical Laboratory"}

@String{inst-NPL:adr            = "Teddington, UK"}

%%% ====================================================================
%%% Journal abbreviations:

@String{j-AMER-MATH-MONTHLY     = "American Mathematical Monthly"}

@String{j-ANN-HIST-COMPUT       = "Annals of the History of Computing"}

@String{j-ANN-MATH-2            = "Annals of Mathematics (2)"}

@String{j-CACM                  = "Communications of the Association for Computing Machinery"}

@String{j-COMP-J                = "The Computer Journal"}

@String{j-COMPOS-MATH           = "Compositio Mathematica"}

@String{j-CRYPTOLOGIA           = "Cryptologia"}

@String{j-IEEE-ANN-HIST-COMPUT  = "IEEE Annals of the History of Computing"}

@String{j-IEEE-INTERNET-COMPUT  = "IEEE Internet Computing"}

@String{j-IEEE-SEC-PRIV         = "IEEE Security \& Privacy"}

@String{j-J-ACM                 = "Journal of the ACM"}

@String{j-J-SYMBOLIC-LOGIC      = "Journal of Symbolic Logic"}

@String{j-J-LOND-MATH-SOC       = "Journal of the London Mathematical Society"}

@String{j-LECT-NOTES-COMP-SCI   = "Lecture Notes in Computer Science"}

@String{j-MACH-INTELL           = "Machine Intelligence"}

@String{j-MATH-REV              = "Mathematical Reviews"}

@String{j-MD-COMPUTING-CMP      = "M.D. computing: computers in medical practice"}

@String{j-MIND                  = "MIND: A Quarterly Review of Pyschology and
                                  Philosophy"}

@String{j-NAMS                  = "Notices of the American Mathematical Society"}

@String{j-NEW-SCIENTIST         = "New scientist"}

@String{j-PHILOS-MATH-3         = "Philosophia Mathematica. Series III"}

@String{j-PHILOS-TRANS-R-SOC-LOND-SER-B-BIO-SCI = "Philosophical
                                  transactions of the Royal Society of
                                  London Series B, Biological sciences"}

@String{j-PROC-LONDON-MATH-SOC-2 = "Proceedings of the London Mathematical
                                  Society. Second Series"}

@String{j-PROC-LONDON-MATH-SOC-3  = "Proceedings of the London Mathematical
                                  Society. Third Series"}

@String{j-QUART-J-MECH-APPLIED-MATH = "Quarterly Journal of Mechanics and
                                  Applied Mathematics"}

@String{j-SCI-AMER              = "Scientific American"}

@String{j-SIGNUM                = "ACM SIGNUM Newsletter"}

@String{j-SIGPLAN               = "ACM SIG{\-}PLAN Notices"}

%%% ====================================================================
%%% Publisher abbreviations:

@String{pub-ACADEMIC            = "Academic Press"}
@String{pub-ACADEMIC:adr        = "New York, NY, USA"}

@String{pub-ANCHOR              = "Anchor Press/Doubleday"}
@String{pub-ANCHOR:adr          = "Garden City, NY, USA"}

@String{pub-ARTECH              = "Artech House Inc."}
@String{pub-ARTECH:adr          = "Norwood, MA, USA"}

@String{pub-BIRKHAUSER          = "Birkh{\"{a}}user"}
@String{pub-BIRKHAUSER:adr      = "Cambridge, MA, USA; Berlin, Germany; Basel,
                                  Switzerland"}

@String{pub-CAMBRIDGE           = "Cambridge University Press"}
@String{pub-CAMBRIDGE:adr       = "Cambridge, UK"}

@String{pub-CLARENDON-PRESS     = "Clarendon Press"}
@String{pub-CLARENDON-PRESS:adr = "Oxford, UK"}

@String{pub-CSP                 = "Computer Science Press"}
@String{pub-CSP:adr             = "11 Taft Court, Rockville, MD 20850, USA"}

@String{pub-ELSEVIER            = "Elsevier"}
@String{pub-ELSEVIER:adr        = "Amsterdam, The Netherlands"}

@String{pub-HOUGHTON-MIFFLIN   = "Houghton-Mifflin"}
@String{pub-HOUGHTON-MIFFLIN:adr = "Boston, MA, USA"}

@String{pub-IEEE                = "IEEE Computer Society Press"}
@String{pub-IEEE:adr            = "1109 Spring Street, Suite 300,
                                  Silver Spring, MD 20910, USA"}

@String{pub-KLUWER              = "Kluwer Academic Publishers"}
@String{pub-KLUWER:adr          = "Dordrecht, The Netherlands"}

@String{pub-KNOPF               = "Alfred A. Knopf"}
@String{pub-KNOPF:adr           = "New York, NY, USA"}

@String{pub-MACMILLAN           = "Macmillan Publishing Company"}
@String{pub-MACMILLAN:adr       = "New York, NY, USA"}

@String{pub-MCGRAW-HILL         = "Mc{\-}Graw-Hill"}
@String{pub-MCGRAW-HILL:adr     = "New York, NY, USA"}

@String{pub-MIT                 = "MIT Press"}
@String{pub-MIT:adr             = "Cambridge, MA, USA"}

@String{pub-NH                  = "North-Hol{\-}land"}
@String{pub-NH:adr              = "Amsterdam, The Netherlands"}

@String{pub-NORTON              = "W. W. Norton \& Co."}
@String{pub-NORTON:adr          = "New York, NY, USA"}

@String{pub-OXFORD              = "Oxford University Press"}
@String{pub-OXFORD:adr          = "Walton Street, Oxford OX2 6DP, UK"}

@String{pub-PERGAMON            = "Pergamon"}
@String{pub-PERGAMON:adr        = "New York, NY, USA"}

@String{pub-PH                  = "Pren{\-}tice-Hall"}
@String{pub-PH:adr              = "Upper Saddle River, NJ 07458, USA"}

@String{pub-RANDOM-HOUSE        = "Random House"}
@String{pub-RANDOM-HOUSE:adr    = "New York, NY, USA"}

@String{pub-RESTON              = "Reston Publishing Co. Inc."}
@String{pub-RESTON:adr          = "Reston, VA, USA"}

@String{pub-ROUTLEDGE           = "Routledge \& Kegan Paul"}
@String{pub-ROUTLEDGE:adr       = "London, UK and New York, NY, USA"}

@String{pub-SIMON-SCHUSTER      = "Simon and Schuster"}
@String{pub-SIMON-SCHUSTER:adr  = "New York, NY, USA"}

@String{pub-SV                  = "Springer Verlag"}
@String{pub-SV:adr              = "Berlin, Germany~/ Heidelberg, Germany~/
                                    London, UK~/ etc."}

@String{pub-USENIX              = "USENIX"}
@String{pub-USENIX:adr          = "San Francisco, CA, USA"}
@String{pub-USENIX-EL-CERRITO:adr = "P.O. Box 7, El Cerrito 94530, CA,
                                  USA"}

%%% ====================================================================
%%% Series abbreviations:

@String{ser-SIGPLAN             = "ACM SIG{\-}PLAN Notices"}

%%% ====================================================================
%%% Bibliography entries, sorted by year, and then by citation label:

%%% TO DO: Incorporate references to Turing Digital Archive for
%%% published and unpublished work.

@Article{Turing:1935:ELR,
  author =       "A. M. Turing",
  title =        "Equivalence of left and right almost periodicity",
  journal =      j-J-LOND-MATH-SOC,
  volume =       "10",
  pages =        "284--285",
  year =         "1935",
  CODEN =        "JLMSAK",
  ISSN =         "0024-6107",
  bibdate =      "Sat Nov 19 13:23:32 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://turing.ecs.soton.ac.uk/browse.php/B/10",
  acknowledgement = ack-nhfb,
  keywords =     "almost periodic functions; Dirichlet series",
  ZMnumber =     "0012.40404",
}

@Article{Turing:1936:CNA,
  author =       "A. M. Turing",
  title =        "On Computable Numbers, with an Application to the
                 {Entscheidungsproblem}",
  journal =      j-PROC-LONDON-MATH-SOC-2,
  volume =       "42",
  pages =        "230--265",
  year =         "1936",
  CODEN =        "PLMTAL",
  ISSN =         "0024-6115",
  bibdate =      "Sat Nov 19 12:09:58 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 ftp://ftp.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg-2ed.bib;
                 ftp://ftp.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib",
  note =         "This is the paper that introduced what is now called
                 the {\em Universal Turing Machine}. See correction
                 \cite{Turing:1937:CNA}.",
  acknowledgement = ack-nhfb,
  keywords =     "Entscheidungsproblem (decision problem)",
  xxpages =      "230--267??",
  ZMnumber =     "0016.09701",
}

%%% TO DO: Find possible three more papers from 1937

@Article{Turing:1937:CD,
  author =       "A. M. Turing",
  title =        "Computability and $\lambda$-definability",
  journal =      j-J-SYMBOLIC-LOGIC,
  volume =       "2",
  pages =        "153--163",
  year =         "1937",
  CODEN =        "JSYLA6",
  ISSN =         "0022-4812",
  bibdate =      "Sat Nov 19 13:23:32 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://turing.ecs.soton.ac.uk/browse.php/B/11",
  acknowledgement = ack-nhfb,
  keywords =     "Foundations; logic; philosophy",
  ZMnumber =     "0018.19305",
}

@Article{Turing:1937:CNA,
  author =       "A. M. Turing",
  title =        "On computable numbers, with an application to the
                 {Entscheidungsproblem}. {A} correction",
  journal =      j-PROC-LONDON-MATH-SOC-2,
  volume =       "43",
  pages =        "544--546",
  year =         "1937",
  bibdate =      "Sat Nov 19 13:23:32 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  note =         "See \cite{Turing:1936:CNA}.",
  URL =          "http://turing.ecs.soton.ac.uk/browse.php/B/12",
  acknowledgement = ack-nhfb,
  keywords =     "Foundations; logic; philosophy",
  ZMnumber =     "0018.19304",
}

@Article{Turing:1937:FC,
  author =       "A. M. Turing",
  title =        "The $p$-function in {$\lambda-K$}-conversion",
  journal =      j-J-SYMBOLIC-LOGIC,
  volume =       "2",
  number =       "4",
  pages =        "164--164",
  month =        dec,
  year =         "1937",
  CODEN =        "JSYLA6",
  ISSN =         "0022-4812",
  bibdate =      "Sat Nov 19 13:23:32 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://homepage.mac.com/a.eppendahl/work/others/pflkc/",
  acknowledgement = ack-nhfb,
  keywords =     "Foundations; logic; philosophy",
  remark =       "Sent from Princeton University, received 23 April
                 1937.",
  ZMnumber =     "0018.19401",
}

@Article{Turing:1938:EG,
  author =       "A. M. Turing",
  title =        "The extensions of a group",
  journal =      j-COMPOS-MATH,
  volume =       "5",
  pages =        "357--367",
  year =         "1938",
  CODEN =        "CMPMAF",
  ISSN =         "0010-437X",
  bibdate =      "Sat Nov 19 13:23:32 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://turing.ecs.soton.ac.uk/browse.php/B/14",
  acknowledgement = ack-nhfb,
  keywords =     "Group theory",
  ZMnumber =     "0018.39201",
}

@Article{Turing:1938:FAL,
  author =       "A. M. Turing",
  title =        "Finite approximations to {Lie} groups",
  journal =      j-ANN-MATH-2,
  volume =       "39",
  number =       "1",
  pages =        "105--111",
  year =         "1938",
  CODEN =        "ANMAAH",
  ISSN =         "0003-486X",
  MRclass =      "Database Expansion Item",
  MRnumber =     "MR1503391",
  bibdate =      "Sat Nov 19 13:23:32 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://turing.ecs.soton.ac.uk/browse.php/B/13",
  acknowledgement = ack-nhfb,
  fjournal =     "Annals of Mathematics. Second Series",
  ZMnumber =     "0018.29801",
}

@PhdThesis{Turing:1938:SLB,
  author =       "Alan Mathison Turing",
  title =        "Systems of logic based on ordinals: a dissertation",
  type =         "{Ph.D.} dissertation",
  school =       "Cambridge University",
  address =      "Cambridge, UK",
  pages =        "161--228 + 8",
  year =         "1938",
  bibdate =      "Sat Nov 19 14:45:55 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  note =         "Published by Hodgson \ Son, London, UK.",
  URL =          "http://turing.ecs.soton.ac.uk/browse.php/B/15",
  acknowledgement = ack-nhfb,
}

@Article{Turing:1939:SLB,
  author =       "A. M. Turing",
  title =        "Systems of logic based on ordinals",
  journal =      j-PROC-LONDON-MATH-SOC-2,
  volume =       "45",
  pages =        "161--228",
  year =         "1939",
  bibdate =      "Sat Nov 19 13:23:32 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Foundations; logic; philosophy",
  ZMnumber =     "0021.09704",
}

@TechReport{Turing:1940:TE,
  author =       "Alan M. Turing",
  title =        "{Turing}'s Treatise on {Enigma} [The {Prof}'s Book]",
  type =         "Report",
  institution =  "????",
  address =      "Bletchley Park, UK",
  pages =        "140",
  year =         "1940",
  bibdate =      "Fri Nov 25 16:13:08 2005",
  note =         "Retypeset by Ralph Erskine, Philip Marks, and Frode
                 Weierud from previously-secret material released in
                 April 1996 by the US National Security Agency as
                 reference number NR 964, Box 201, RG 457. The correct
                 title was later found from British sources to be {\em
                 Mathematical Theory of ENIGMA Machine}.",
  URL =          "http://frode.home.cern.ch/frode/crypto/Turing/index.html;
                 http://www.turing.org.uk/publications/profsbook.html",
  acknowledgement = ack-nhfb,
  keywords =     "NR 964 CBCB55 9024A 19390000 Turing's Treatise on the ENIGMA",
  remark =       "Chapters 1--4 and 6 available; chapters 5 and 7 not
                 yet online.",
}

@Article{Newman:1942:FTC,
  author =       "M. H. A. Newman and A. M. Turing",
  title =        "A formal theorem in {Church}'s theory of types",
  journal =      j-J-SYMBOLIC-LOGIC,
  volume =       "7",
  pages =        "28--33",
  year =         "1942",
  CODEN =        "JSYLA6",
  ISSN =         "0022-4812",
  MRclass =      "02.0X",
  MRnumber =     "MR0006332 (3,290b)",
  MRreviewer =   "A. A. Bennett",
  bibdate =      "Sat Nov 19 13:23:32 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "The Journal of Symbolic Logic",
  keywords =     "Foundations; logic; philosophy",
  ZMnumber =     "0063.05941",
}

@Article{Turing:1942:UDB,
  author =       "A. M. Turing",
  title =        "The use of dots as brackets in {Church}'s system",
  journal =      j-J-SYMBOLIC-LOGIC,
  volume =       "7",
  pages =        "146--156",
  year =         "1942",
  CODEN =        "JSYLA6",
  ISSN =         "0022-4812",
  MRclass =      "02.0X",
  MRnumber =     "MR0007728 (4,183a)",
  MRreviewer =   "O. Frink",
  bibdate =      "Sat Nov 19 13:23:32 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://turing.ecs.soton.ac.uk/browse.php/B/16",
  acknowledgement = ack-nhfb,
  fjournal =     "The Journal of Symbolic Logic",
  keywords =     "Foundations; logic; philosophy",
}

@Article{Turing:1943:MCZ,
  author =       "A. M. Turing",
  title =        "A method for the calculation of the zeta-function",
  journal =      j-PROC-LONDON-MATH-SOC-2,
  volume =       "48",
  pages =        "180--197",
  year =         "1943",
  MRclass =      "10.0X",
  MRnumber =     "MR0009612 (5,173a)",
  MRreviewer =   "C. L. Siegel",
  bibdate =      "Sat Nov 19 13:23:32 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://turing.ecs.soton.ac.uk/browse.php/B/17",
  acknowledgement = ack-nhfb,
  ZMnumber =     "0061.08304",
}

@TechReport{Turing:1945:PDM,
  author =       "A. M. Turing",
  title =        "Proposal for Development in the {Mathematics Division}
                 of an {Automatic Computing Engine} {(ACE)}",
  type =         "{Report E.882, Executive Committee}",
  institution =  inst-NPL,
  address =      inst-NPL:adr,
  pages =        "????",
  year =         "1945",
  bibdate =      "Mon Sep 4 15:24:11 GMT 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 ftp://ftp.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg-2ed.bib;
                 ftp://ftp.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib",
  note =         "Reprinted in \cite[pp.~20-105]{Carpenter:1986:MTA} and
                 \cite[pp.~1--86]{Turing:1992:MI}. See also
                 \cite{Carpenter:1977:OTM} for an analysis of the
                 design.",
  acknowledgement = ack-nhfb,
  mynote =       "\cite{Carpenter:1986:MTA} doesn't give a proper
                 reference! Date and `type' taken from
                 \cite[p.~519]{rand86}.",
}

@TechReport{Turing:1946:PEC,
  author =       "A. M. Turing",
  title =        "Proposed Electronic Calculator",
  type =         "Report",
  institution =  inst-NPL,
  address =      inst-NPL:adr,
  year =         "1946",
  pages =        "48",
  bibdate =      "Fri Nov 25 16:22:27 2005",
  URL =          "http://www.emula3.com/docs/Turing_Report_on_ACE.pdf",
  acknowledgement = ack-nhfb,
}

@Misc{Hartree:1947:MTL,
  author =       "D. R. Hartree",
  title =        "{A. M. Turing}'s lectures on {ACE}",
  howpublished = "World-Wide Web document",
  year =         "1947",
  bibdate =      "Mon Nov 21 07:52:47 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://turing.ecs.soton.ac.uk/browse.php/B/2",
  acknowledgement = ack-nhfb,
  remark =       "Seven Lectures given on Thursday afternoons in
                 December 1946 and January 1947. These notes are from
                 lectures six and seven.",
}

@Misc{Turing:1947:LMF,
  author =       "A. M. Turing",
  title =        "Lecture to {London Mathematical Society, February 20, 1947}",
  howpublished = "Turing Digital Archive",
  pages =        "31",
  year =         "1947",
  bibdate =      "Mon Nov 21 07:39:16 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://turing.ecs.soton.ac.uk/browse.php/B/1",
  acknowledgement = ack-nhfb,
}

@Article{Turing:1948:PFT,
  author =       "A. M. Turing",
  title =        "Practical forms of type theory",
  journal =      j-J-SYMBOLIC-LOGIC,
  volume =       "13",
  pages =        "80--94",
  year =         "1948",
  CODEN =        "JSYLA6",
  ISSN =         "0022-4812",
  MRclass =      "02.0X",
  MRnumber =     "MR0025414 (10,1b)",
  MRreviewer =   "P. Lorenzen",
  bibdate =      "Sat Nov 19 13:23:32 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "The Journal of Symbolic Logic",
  ZMnumber =     "0054.00603",
}

@Article{Turing:1948:REM,
  author =       "A. M. Turing",
  title =        "Rounding-Off Errors in Matrix Processes",
  journal =      j-QUART-J-MECH-APPLIED-MATH,
  volume =       "1",
  pages =        "287--308",
  month =        sep,
  year =         "1948",
  CODEN =        "QJMMAV",
  ISSN =         "0033-5614",
  MRclass =      "65.0X",
  MRnumber =     "MR0028100 (10,405c)",
  MRreviewer =   "E. Bodewig",
  bibdate =      "Sat Nov 19 12:09:58 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 ftp://ftp.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg-2ed.bib;
                 ftp://ftp.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib",
  note =         "Reprinted in \cite{Turing:1992:PM} with summary and
                 notes (including corrections)",
  URL =          "http://turing.ecs.soton.ac.uk/browse.php/B/18",
  acknowledgement = ack-nhfb,
  mynote =       "The notes are not very good. They mainly correct
                 errors and fill in the gaps of derivations. Much better
                 would have been higher level comments from a numerical
                 analyst, e.g. on where Turing's ideas/predictions were
                 wrong.",
  ZMnumber =     "0033.28501",
}

@Article{Bodewig:1949:RRE,
  author =       "E. Bodewig",
  title =        "Review of ``{Rounding-Off Errors in Matrix
                 Processes}'' by {A. M. Turing}",
  journal =      j-MATH-REV,
  volume =       "10",
  pages =        "405",
  year =         "1949",
  CODEN =        "MAREAR",
  ISSN =         "0025-5629",
  bibdate =      "Sat Nov 19 12:09:58 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 ftp://ftp.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg-2ed.bib",
  acknowledgement = ack-nhfb,
}

@InProceedings{Turing:1949:CLR,
  author =       "Alan M. Turing",
  title =        "Checking a Large Routine",
  crossref =     "Anonymous:1949:RCH",
  pages =        "67--69",
  year =         "1949",
  bibdate =      "Sun Nov 20 19:48:55 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  note =         "A corrected version is printed in
                 \cite{Morris:1984:EPP}. The original is reprinted in
                 \cite[pp. 70--72]{Williams:1989:EBC}.",
  URL =          "http://www.turingarchive.org/browse.php/B/8",
  acknowledgement = ack-nhfb,
  remark =       "This is one of the earliest papers on proving
                 correctness of programs. The paper begins: ``How can
                 one check a routine in the sense of making sure that it
                 is right? In order that the man who checks may not have
                 too difficult a task the programmer should make a
                 number of definite assertions which can be checked
                 individually, and from which the correctness of the
                 whole programme easily follows.''",
}

@Article{Turing:1950:CMI,
  author =       "A. M. Turing",
  title =        "Computing Machinery and Intelligence",
  journal =      j-MIND,
  volume =       "59",
  number =       "236",
  pages =        "433--460",
  month =        oct,
  year =         "1950",
  CODEN =        "????",
  ISSN =         "0026-4423",
  MRclass =      "65.0X",
  MRnumber =     "MR0037064 (12,208c)",
  bibdate =      "Sat Nov 19 12:09:58 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 ftp://ftp.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib",
  note =         "Reprinted in \cite{Feldman:1963:CTC,Turing:1992:MI}.",
  URL =          "http://turing.ecs.soton.ac.uk/browse.php/B/9;
                 http://turing.ecs.soton.ac.uk/browse.php/B/19",
  acknowledgement = ack-nhfb,
  mynote =       "First sentence: ``I propose to consider the question,
                 `Can machines think?' ''",
}

@Article{Turing:1950:WPS,
  author =       "A. M. Turing",
  title =        "The word problem in semi-groups with cancellation",
  journal =      j-ANN-MATH-2,
  volume =       "52",
  pages =        "491--505",
  year =         "1950",
  CODEN =        "ANMAAH",
  ISSN =         "0003-486X",
  MRclass =      "20.0X",
  MRnumber =     "MR0037294 (12,239c)",
  MRreviewer =   "M. H. A. Newman",
  bibdate =      "Sat Nov 19 13:23:32 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://turing.ecs.soton.ac.uk/browse.php/B/31",
  acknowledgement = ack-nhfb,
  fjournal =     "Annals of Mathematics. Second Series",
  ZMnumber =     "0037.30103",
}

@InProceedings{Turing:1951:LPM,
  author =       "A. M. Turing",
  title =        "Local programming methods and conventions",
  crossref =     "Anonymous:1951:MUC",
  pages =        "??--??",
  year =         "1951",
  bibdate =      "Fri Nov 25 15:14:37 2005",
  note =         "Reproduced in Part III of the {\em Mathematical Logic}
                 volume of the {\em Collected Works}
                 \cite{Turing:2001:ML} and in
                 \cite[p. 178]{Williams:1989:EBC}",
  acknowledgement = ack-nhfb,
}

@TechReport{Lighthill:1951:MCM,
  author =       "M. J. Lighthill and G. C. Tootill and J. C. P. Miller
                 and A. M. Turing and E. A. Newman",
  title =        "{Manchester} computing machine: general topics",
  institution =  "Manchester University",
  address =      "Manchester, UK",
  pages =        "????",
  year =         "1951",
  bibdate =      "Fri Nov 25 15:14:37 2005",
  note =         "Reproduced in \cite[p. 194--196]{Williams:1989:EBC}",
  acknowledgement = ack-nhfb,
  xxnote =       "Check year and publication information??",
}

@Manual{Turing:1951:PHM,
  author =       "A. M. Turing",
  title =        "Programmers' handbook for Manchester electronic
                 computer. {Mark II}",
  organization = "University of Manchester",
  address =      "Manchester, UK",
  year =         "1951",
  bibdate =      "Mon Nov 21 07:49:08 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://turing.ecs.soton.ac.uk/browse.php/B/32",
  acknowledgement = ack-nhfb,
}

@Article{Turing:1952:CBM,
  author =       "A. M. Turing",
  title =        "The chemical basis of morphogenesis",
  journal =      j-PHILOS-TRANS-R-SOC-LOND-SER-B-BIO-SCI,
  volume =       "B 237",
  number =       "641",
  pages =        "37--72",
  day =          "14",
  month =        aug,
  year =         "1952",
  CODEN =        "PTRBAE",
  ISSN =         "0962-8436",
  bibdate =      "Sat Nov 19 13:35:13 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  note =         "Reprinted in \cite[pp.~153--197]{Mangel:1990:CTB}.",
  URL =          "http://turing.ecs.soton.ac.uk/browse.php/B/22",
  acknowledgement = ack-nhfb,
}

@Article{Turing:1953:SCR,
  author =       "A. M. Turing",
  title =        "Some calculations of the {Riemann} zeta-function",
  journal =      j-PROC-LONDON-MATH-SOC-3,
  volume =       "3",
  pages =        "99--117",
  year =         "1953",
  CODEN =        "PLMTAL",
  ISSN =         "0024-6115",
  MRclass =      "65.0X",
  MRnumber =     "MR0055785 (14,1126e)",
  MRreviewer =   "D. H. Lehmer",
  bibdate =      "Sat Nov 19 13:23:32 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://turing.ecs.soton.ac.uk/browse.php/B/21",
  acknowledgement = ack-nhfb,
  fjournal =     "Proceedings of the London Mathematical Society. Third
                 Series",
  ZMnumber =     "0050.08101",
}

@Article{Turing:1954:SUP,
  author =       "A. M. Turing",
  title =        "Solvable and unsolvable problems",
  journal =      "Science News (Penguin Books)",
  volume =       "31",
  number =       "??",
  pages =        "7--13",
  month =        feb,
  year =         "1954",
  bibdate =      "Fri Nov 25 16:03:25 2005",
  acknowledgement = ack-nhfb,
}

@Book{Turing:1959:AMT,
  author =       "Ethel Sara Stoney Turing",
  title =        "{Alan M. Turing}",
  publisher =    "W. Heffer and Sons",
  address =      "Cambridge, UK",
  pages =        "xiv + 157",
  year =         "1959",
  LCCN =         "QA29.T8 T8",
  bibdate =      "Tue Sep 27 22:31:00 GMT 1994",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 ftp://ftp.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib",
  acknowledgement = ack-nhfb,
  mynote =       "JRULM copy from store. Read during Vitoria trip, Sept.
                 1994. Nice foreword by Lyn Irvine (Mrs Newman). Well
                 written, but see Hodges comments in his Author's Note
                 re. weaknesses of the book. There seem to be a few
                 facts and stories in here that are not in Hodge.",
  remark =       "The author is Alan Turing's mother.",
}

@Book{Turing:1960:KMD,
  author =       "A. M. Turing",
  title =        "{Kann eine Maschine denken? [Mozet li masina myslit'?]
                 Mit einem Anhang von J. von Neumann: Allgemeine und
                 logische Theorie der Automaten. [Obscaja i logiceskaja
                 teorija avtomatov.]}. ({German}) [{Can} a machine
                 think? With an appendix by {J. von Neumann}: {General}
                 and Logical Theory of Automata]",
  publisher =    "Staatsverlag f{\"u}r physikalisch-mathematische
                 Literatur",
  address =      "Moscow, USSR",
  pages =        "112",
  year =         "1960",
  LCCN =         "????",
  bibdate =      "Mon Jun 06 19:17:03 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 ftp://ftp.math.utah.edu/pub/bibnet/authors/v/von-neumann-john.bib",
  acknowledgement = ack-nhfb,
  language =     "Russian",
  ZMnumber =     "0095.01102",
}

@Book{Turing:1960:MLM,
  author =       "Alan M. Turing",
  title =        "Mozhet li mashina myslit?",
  publisher =    "Gosudarstv. Izdat. Fiz.-Mat. Lit.",
  address =      "Moscow, USSR",
  pages =        "112",
  year =         "1960",
  LCCN =         "????",
  MRclass =      "94.40",
  MRnumber =     "MR0128025 (23 \#B1070)",
  bibdate =      "Mon Jun 06 19:17:03 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 ftp://ftp.math.utah.edu/pub/bibnet/authors/v/von-neumann-john.bib;
                 MathSciNet database",
  series =       "With a supplement by J. von Neumann. Translated from
                 the English by Ju. A. Danilov; edited and with a
                 foreword by S. A. Janovskaja",
  acknowledgement = ack-nhfb,
}

@Book{Anderson:1964:MM,
  editor =       "Alan Ross Anderson",
  title =        "Minds and machines",
  publisher =    pub-PH,
  address =      pub-PH:adr,
  pages =        "viii + 114",
  year =         "1964",
  LCCN =         "Q335.5 .A5",
  bibdate =      "Sat Nov 19 12:33:18 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  series =       "Contemporary prospects in philosophy series",
  acknowledgement = ack-nhfb,
  remark =       "Introduction / Alan Ross Anderson -- Computing
                 machinery and intelligence / A. M. Turing -- The
                 mechanical concept of mind / Michael Scriven -- Minds,
                 machines and G{\"o}del / J. R. Lucas -- The imitation
                 game / Keith Gunderson -- Minds and machines / Hilary
                 Putnam -- The feelings of robots / Paul Ziff --
                 Professor Ziff on robots / J. J. C. Smart -- Robots
                 incorporated / Ninian Smart.",
  subject =      "Artificial intelligence; Conscious automata; Mechanism
                 (Philosophy)",
}

@Article{Curtis:1965:TMS,
  author =       "M. W. Curtis",
  title =        "A {Turing} Machine Simulator",
  journal =      j-J-ACM,
  volume =       "12",
  number =       "1",
  pages =        "1--13",
  month =        jan,
  year =         "1965",
  CODEN =        "JACOAH",
  ISSN =         "0004-5411",
  bibdate =      "Thu Nov 03 08:47:50 1994",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
}

@InCollection{Turing:1965:SLB,
  author =       "Alan M. Turing",
  title =        "Systems of logic based on ordinals",
  crossref =     "Davis:1965:UBP",
  pages =        "154--222",
  year =         "1965",
  bibdate =      "Sat Nov 19 15:03:17 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
}

@Book{Meltzer:1969:MI,
  editor =       "Bernard Meltzer and Donald Michie",
  title =        "Machine intelligence",
  volume =       "5",
  publisher =    "Edinburgh University Press",
  address =      "Edinburgh, Scotland",
  pages =        "vii + 588",
  year =         "1969",
  CODEN =        "????",
  ISBN =         "0-85224-176-3",
  ISBN-13 =      "978-0-85224-176-9",
  ISSN =         "0076-2032, 0541-6418",
  LCCN =         "Q336",
  bibdate =      "Sat Nov 19 15:00:19 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  note =         "With a previously unpublished report by A. M. Turing.
                 Annual machine Intelligence Workshop",
  acknowledgement = ack-nhfb,
}

@Article{Turing:1969:IM,
  author =       "A. M. Turing",
  title =        "Intelligent machinery",
  journal =      j-MACH-INTELL,
  volume =       "5",
  pages =        "3--23",
  year =         "1969",
  CODEN =        "????",
  ISSN =         "0076-2032, 0541-6418",
  bibdate =      "Sun Nov 20 11:25:16 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  classmath =    "*68T15 Theorem proving 68Q05 Models of computation",
  ZMnumber =     "0219.68052",
}

@Article{Wilkinson:1971:SCN,
  author =       "J. H. Wilkinson",
  title =        "Some Comments from a Numerical Analyst",
  journal =      j-J-ACM,
  volume =       "18",
  number =       "2",
  pages =        "137--147",
  month =        apr,
  year =         "1971",
  CODEN =        "JACOAH",
  DOI =          "http://doi.acm.org/10.1145/321637.321638",
  ISSN =         "0004-5411",
  bibdate =      "Sat Dec 10 15:00:46 1994",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  remark =       "This is the 1970 ACM Turing Award Lecture. Subsequent
                 lectures are published in {\em Communications of the
                 ACM}.",
}

@TechReport{Randell:1972:ATOa,
  author =       "Brian Randell",
  title =        "On {Alan Turing} and the origins of digital
                 computers",
  type =         "Technical report",
  number =       "CS-TR 33",
  institution =  "Computing Laboratory, University of Newcastle upon
                 Tyne",
  address =      "Newcastle upon Tyne, UK",
  pages =        "36",
  year =         "1972",
  bibdate =      "Sat Nov 19 17:05:56 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://www.cs.ncl.ac.uk/research/pubs/books/papers/126.pdf;
                  http://www.cs.ncl.ac.uk/research/pubs/trs/abstract.php?number=33",
  abstract =     "This paper documents an investigation into the role
                 that the late Alan turing played in the development of
                 electronic computers. Evidence is presented that during
                 the war he was associated with a group that designed
                 and built a series of special purpose electronic
                 computers, which were in, at least a limited sense
                 'program controlled', and that the origins of several
                 post-war general purpose computer projects in Britain
                 can be traced back to these wartime computers.",
  acknowledgement = ack-nhfb,
}

@InProceedings{Randell:1972:ATOb,
  author =       "Brian Randell",
  title =        "On {Alan Turing} and the origins of digital
                 computers",
  crossref =     "Meltzer:1972:MI",
  pages =        "3--20",
  year =         "1972",
  bibdate =      "Mon Nov 21 14:34:20 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://www.cs.ncl.ac.uk/research/pubs/books/papers/126.pdf",
  acknowledgement = ack-nhfb,
}

@TechReport{Turing:1972:MTO,
  author =       "A. Turing",
  title =        "{A. M. Turing}'s Original Proposal for the Development
                 of an Electronic Computer",
  type =         "Report",
  institution =  "Division of Computer Science, National Physical
                 Laboratory",
  address =      "Teddington, UK",
  month =        apr,
  year =         "1972",
  bibdate =      "Wed Jul 01 22:29:45 2009",
  note =         "Reprint, with a foreword by D. W. Davies. The National
                 Archives of the UK: DSIR 30/163, page 2.",
  acknowledgement = ack-nhfb,
}

@Book{Turing:1974:PPM,
  author =       "A. M. Turing",
  title =        "?`{Puede} pensar una m{\'a}quina?",
  publisher =    "Departamento de Logica y Filosofia de la Ciencia,
                 Universidad de Valencia",
  address =      "Valencia, Spain",
  pages =        "64",
  year =         "1974",
  ISBN =         "84-600-6348-8",
  ISBN-13 =      "978-84-600-6348-3",
  LCCN =         "????",
  MRclass =      "68A45",
  MRnumber =     "MR0351184 (50 \#3673)",
  bibdate =      "Sat Nov 19 13:23:32 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  note =         "Translation by Manuel Garrido and Amador Anton from
                 the English original (Mind {\bf 59} (1950), 433--460),
                 Quadernos Teorema, No. 1",
  acknowledgement = ack-nhfb,
}

@TechReport{Alton:1977:RPA,
  author =       "Jeannine Alton and Harriot Weiskittel",
  title =        "Report on the papers of {Alan Mathison Turing OBE,
                 FRS} (1912--1954) mathematician, 1923--55",
  type =         "Report",
  number =       "77/39 and CSAC 53/7/77",
  institution =  "The Royal Commission on Historical Manuscripts,
                 Contemporary Scientific Archives Centre",
  address =      "London, UK",
  pages =        "19",
  year =         "1977",
  LCCN =         "QA29.T8 A63",
  bibdate =      "Sat Nov 19 12:33:18 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
  remark =       "Deposited in the Library of King's College,
                 Cambridge",
  subject =      "Turing, Alan Mathison; Mathematicians; Great Britain;
                 Biography",
  subject-dates = "1912--1954",
}

@Article{Carpenter:1977:OTM,
  author =       "B. E. Carpenter and R. W. Doran",
  title =        "The other {Turing} machine",
  journal =      j-COMP-J,
  volume =       "20",
  number =       "3",
  pages =        "269--279",
  month =        aug,
  year =         "1977",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Mar 25 13:51:56 MST 1997",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_20/Issue_03/;
                 Theory/CLiCS.bib",
  note =         "Hodges page 318 note 6.1.",
  URL =          "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_20/Issue_03/tiff/269.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_20/Issue_03/tiff/270.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_20/Issue_03/tiff/271.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_20/Issue_03/tiff/272.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_20/Issue_03/tiff/273.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_20/Issue_03/tiff/274.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_20/Issue_03/tiff/275.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_20/Issue_03/tiff/276.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_20/Issue_03/tiff/277.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_20/Issue_03/tiff/278.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_20/Issue_03/tiff/279.tif",
  acknowledgement = ack-nhfb,
  classcodes =   "C5220 (Computer architecture)",
  corpsource =   "Dept. of Computer Sci., Massey Univ., Palmerston
                 North, New Zealand",
  keywords =     "computer architecture; detailed proposal; micromachine
                 architecture; stack; stored program computer;
                 subroutines; Turing",
  treatment =    "G General Review; P Practical",
}

@Book{Lewin:1978:UGW,
  author =       "Ronald Lewin",
  title =        "{Ultra} Goes to War: {The} Secret Story",
  publisher =    "Hutchinson",
  address =      "London, UK",
  pages =        "398",
  year =         "1978",
  ISBN =         "0-09-134420-4",
  ISBN-13 =      "978-0-09-134420-7",
  LCCN =         "????",
  bibdate =      "Thu Apr 6 14:40:10 GMT 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib;
                 ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  mynote =       "Excellent book (from JRULM). Read it over a couple of
                 months. As well as consulting the publicly available
                 archives, Lewin has talked to many people involved in
                 the war, so it's an authoritative treatment. Good
                 \cite[p. 216]{Britton:1992:CWM} says ``Michael Howard,
                 Chichele professor of the history of war at Oxford, is
                 right when he says that this [Lewin's book] is `perhaps
                 the most important book to have appeared on the Second
                 World War since Chester Wilmot wrote \emph{The Struggle
                 for Europe} a quarter of a century ago'.'' Notes below
                 are verbatim or paraphrased: pp. 20--21: As long as
                 Germans had confidence in their ciphers (never lost,
                 despite inquiries --- pp. 212--213) high-level
                 communication was conducted over the air waves. p. 22:
                 About 100,000 Enigmas were constructed during the war.
                 pp. 57--59 mention Turing. I. J. Good quoted: `My
                 impression is that Turing's idea was one that might not
                 have been thought of by anyone else for a long time and
                 it greatly increased the power of the bombe.' p. 206:
                 U-boat 110 was abandoned after attack by the destroyer
                 Bulldog. The self-destruction explosives failed to go
                 off. The sub was boarded and codebooks (valid for
                 several weeks to come), charts and Enigma recovered! p.
                 231: Re. D-day: the approach routes to the beaches were
                 changed more than once in light of the latest
                 intelligence available. Shipping losses were
                 infinitesimal. p. 321: The Abwehr spy-masters were
                 telling their `agents' in London to report both the
                 time and the place of flying-bomb explosions in London.
                 Crisis: if double-agents reported falsely they might be
                 unveiled. Yet didn't want to give accurate reports.
                 Answer: reported back actual point of strike for bombs
                 that overshot London linked with the actual time of
                 strike for bombs that had fallen short. Germans lacked
                 photo-reconnaissance and cut the mean range back -
                 saved thousands of lives. p. 348: Arnhem: Ultra
                 provided info about movement of German HQ to near
                 Arnhem that could have alerted allies to the danger.
                 `The puzzling fact that the signal was sent out from
                 Bletchley with a low ZZ priority cannot, in itself,
                 account for its failure to set alarm-bells ringing.'
                 Conference in 1978 including Arnhem leaders: consensus
                 that euphoria has affected judgement. Ultra and other
                 evidence not properly evaluated/accepted. At least one
                 person realised the danger (pp. 35--51), but his
                 warnings fell on deaf ears. References include: Patrick
                 Beesley, Very Special Intelligence, Hamish Hamilton,
                 1977 David Kahn, The Codebreakers, 1974 Ludovic
                 Kennedy, Pursuit: The Sinking of the Bismarck, Collins,
                 1974 J. C. Masterman, The Double-Cross System, Yale
                 Univ. Press, 1972",
}

@Book{Bianco:1979:IFM,
  author =       "Edmond Bianco",
  title =        "Informatique fondamentale: de la machine de {Turing}
                 aux ordinateurs modernes. ({French}) [{Fundamental}
                 Computer Science: from the {Turing Machine} to Modern
                 Computers]",
  volume =       "70",
  publisher =    pub-BIRKHAUSER,
  address =      pub-BIRKHAUSER:adr,
  pages =        "151 + 2",
  year =         "1979",
  ISBN =         "3-7643-1090-1",
  ISBN-13 =      "978-3-7643-1090-5",
  LCCN =         "QA267 .B52",
  bibdate =      "Sat Nov 19 18:33:05 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 melvyl.cdlib.org:210/CDL90",
  price =        "28.00F",
  series =       "ISR, Interdisciplinary systems research",
  acknowledgement = ack-nhfb,
  language =     "French",
  remark =       "Summaries in English and German.",
  subject =      "Machine theory; Algorithms",
}

@PhdThesis{Aspray:1980:MCC,
  author =       "William F. Aspray",
  title =        "From mathematical constructivity to computer science:
                 {Alan Turing}, {John von Neumann}, and the origins of
                 computer science in mathematical logic",
  type =         "Thesis ({Ph.D.})",
  school =       "University of Wisconsin--Madison",
  address =      "Madison, WI, USA",
  pages =        "v + 443",
  year =         "1980",
  LCCN =         "QA76.17 .A76 1980a",
  bibdate =      "Mon Nov 4 07:46:57 MST 2002",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  keywords =     "computers --- history; logic design; recursive
                 functions; Turing, Alan Mathison, 1912--1954; von
                 Neumann, John, 1903--1957",
}

@Article{Michie:1980:TOC,
  author =       "Donald Michie",
  title =        "{Turing} and the Origins of the Computer",
  journal =      j-NEW-SCIENTIST,
  volume =       "85",
  number =       "195",
  pages =        "580--583",
  year =         "1980",
  CODEN =        "NWSCAL",
  ISSN =         "0262-4079, 0028-6664",
  bibdate =      "Sun Nov 20 10:18:32 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  mynote =       "21 Feb",
}

@InCollection{Wilkinson:1980:TWN,
  author =       "J. H. Wilkinson",
  editor =       "N. Metropolis and J. Howlett and Gian-Carlo Rota",
  booktitle =    "A History of Computing in the {Twentieth Century}: {A}
                 Collection of Essays",
  title =        "{Turing}'s Work at the {National Physical Laboratory}
                 and the Construction of {Pilot ACE}, {DEUCE}, and
                 {ACE}",
  publisher =    pub-ACADEMIC,
  address =      pub-ACADEMIC:adr,
  pages =        "101--114",
  year =         "1980",
  bibdate =      "Sat Mar 31 18:08:36 2007",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
}

@Book{Evans:1981:MMH,
  author =       "Christopher Evans",
  title =        "The Making of the Micro: {A} History of the Computer",
  publisher =    "Victor Gollanz",
  address =      "London, UK",
  pages =        "118",
  year =         "1981",
  ISBN =         "0-575-02913-7",
  ISBN-13 =      "978-0-575-02913-2",
  LCCN =         "????",
  bibdate =      "Sun Nov 20 10:18:32 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 ftp://ftp.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib",
  acknowledgement = ack-nhfb,
  mynote =       "In JRULM. Plenty of pictures, and some info on Turing.
                 For the layman.",
}

@InProceedings{Cordy:1983:TAN,
  author =       "J. R. Cordy and R. C. Holt",
  title =        "{Turing}: {A} New General Purpose Computer Language
                 Under {UNIX}",
  crossref =     "STUG:1983:PUA",
  pages =        "249--254",
  month =        "Summer",
  year =         "1983",
  bibdate =      "Tue Feb 20 15:42:13 MST 1996",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 ftp://ftp.uu.net/library/bibliography",
  acknowledgement = ack-nhfb,
  affiliation =  "University of Toronto",
}

@InProceedings{Cordy:1983:TNG,
  author =       "J. R. Cordy and R. C. Holt",
  title =        "{Turing}: {A} New General Purpose Computer Language
                 Under {UNIX}",
  crossref =     "USENIX:1983:UCPb",
  institution =  "University of Toronto",
  pages =        "249--254",
  month =        "Summer",
  year =         "1983",
  bibdate =      "Wed Aug 13 10:48:45 MDT 1997",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 http://www.usenix.org/cgi-bin/sortbib.pl?-sA",
  acknowledgement = ack-nhfb,
}

@Book{Hodges:1983:ATEa,
  author =       "Andrew Hodges",
  title =        "{Alan Turing}: the enigma",
  publisher =    "Burnett Books",
  address =      "London, UK",
  pages =        "587 + 8",
  year =         "1983",
  ISBN =         "0-09-152130-0",
  ISBN-13 =      "978-0-09-152130-1",
  LCCN =         "QA29.T8 H63 1983",
  bibdate =      "Mon Nov 4 07:46:57 MST 2002",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib;
                 ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  keywords =     "mathematicians --- Great Britain --- biography;
                 Turing, Alan Mathison, 1912--1954",
  mynote =       "Bought 12-7-94. Finished reading 30-8-94. Review by
                 Martin Campbell-Kelly~\cite{Campbell-Kelly:1984:RAT}.
                 Summarizes the book well and only makes a few minor
                 criticisms. ``It is one of the finest pieces of
                 scholarship to appear in the history of computing''",
}

@Book{Hodges:1983:ATEb,
  author =       "Andrew Hodges",
  title =        "{Alan Turing}: the enigma",
  publisher =    pub-SIMON-SCHUSTER,
  address =      pub-SIMON-SCHUSTER:adr,
  pages =        "587 + [8]",
  year =         "1983",
  ISBN =         "0-671-49207-1",
  ISBN-13 =      "978-0-671-49207-6",
  LCCN =         "QA29.T8 H63 1983",
  bibdate =      "Mon Nov 4 07:46:57 MST 2002",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  keywords =     "mathematicians --- Great Britain --- biography;
                 Turing, Alan Mathison, 1912--1954",
}

@Book{Anderson:1984:CSM,
  editor =       "Alan Ross Anderson",
  title =        "Controversia sobre mentes y m{\'a}quinas. (Spanish)
                 [{Controversy} over {Minds and Machines}]",
  publisher =    "Tusquets Editores",
  address =      "Barcelona, Spain",
  pages =        "171",
  year =         "1984",
  ISBN =         "84-7223-624-2",
  ISBN-13 =      "978-84-7223-624-0",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 15:24:45 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  note =         "Translated by Francisco Mart{\'\i}n.",
  acknowledgement = ack-nhfb,
  tableofcontents = "Alan Ross Anderson: Introducci{\'o}n (7) -- A.M.
                 Turing: Maquinaria comuputadora e inteligencia (11) --
                 Michael Scriven: El concepto mec{\'a}nico de mente (51)
                 -- J.R. Lucas: Mentes, m{\'a}quinas y G{\"o}del (69)
                 Keith Gunderson: El juego de imitaci{\'o}n (95) --
                 Hilary Putman: Mentes y m{\'a}quinas (113) -- Paul
                 Ziff: El sentir de los robots (151) -- J.J.C. Smart: El
                 profesor Ziff y los robots (159) -- Ninian Smart:
                 Robots, S.A. (161) Bibliograf{\'\i}a (165).",
}

@Book{Bolter:1984:TMW,
  author =       "J. David Bolter",
  title =        "{Turing}'s man: western culture in the computer age",
  publisher =    "University of North Carolina Press",
  address =      "Chapel Hill, NC, USA",
  pages =        "xii + 264",
  year =         "1984",
  ISBN =         "0-8078-1564-0, 0-8078-4108-0 (paperback)",
  ISBN-13 =      "978-0-8078-1564-9, 978-0-8078-4108-2 (paperback)",
  LCCN =         "QA76.9.C66B64 1984",
  bibdate =      "Sat Nov 19 18:15:52 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 melvyl.cdlib.org:210/CDL90",
  acknowledgement = ack-nhfb,
  subject =      "Computers and civilization",
}

@Book{Holt:1984:ICS,
  author =       "R. C. (Richard C.) Holt and J. N. P. Hume",
  title =        "Introduction to computer science using the {Turing}
                 programming language",
  publisher =    pub-RESTON,
  address =      pub-RESTON:adr,
  pages =        "xii + 404",
  year =         "1984",
  ISBN =         "0-8359-3168-4, 0-8359-3167-6 (paperback)",
  ISBN-13 =      "978-0-8359-3168-7, 978-0-8359-3167-0 (paperback)",
  LCCN =         "QA76 .H623 1984",
  bibdate =      "Sat Nov 19 15:54:44 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
  remark =       "A Reston Computer Group book.",
  subject =      "Electronic data processing; Computer programming;
                 Turing (Computer program language)",
}

@Article{Morris:1984:EPP,
  author =       "F. L. Morris and C. B. Jones",
  title =        "An Early Program Proof by {Alan Turing}",
  journal =      j-ANN-HIST-COMPUT,
  volume =       "6",
  number =       "2",
  pages =        "139--143",
  month =        apr # "\slash " # jun,
  year =         "1984",
  CODEN =        "AHCOE5",
  DOI =          "http://doi.ieeecomputersociety.org/10.1109/MAHC.1984.10017",
  ISSN =         "0164-1239",
  bibdate =      "Fri Nov 1 15:29:21 MST 2002",
  bibsource =    "ftp://ftp.ira.uka.de/pub/bibliography/Theory/CLiCS.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Theory/dershowitz.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Theory/eureca.bib;
                 http://www.computer.org/annals/an1984/;
                  ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://dlib.computer.org/an/books/an1984/pdf/a2139.pdf;
                 http://www.computer.org/annals/an1984/a2139abs.htm",
  abstract =     "From the technical point of view this was the first
                 ``program proof'', anticipating the ideas of the
                 1960s.",
  acknowledgement = ack-nhfb,
  annote =       "Hodges page 407 note 7.16. Proceedings published in
                 duplicated form by the Mathematical Laboratory (now the
                 Computer Laboratory) of the University of Cambridge in
                 1950.",
}

@Article{Unknown:1984:ATE,
  author =       "Unknown",
  title =        "{Alan Turing}: The {Enigma}",
  journal =      j-CRYPTOLOGIA,
  volume =       "8",
  number =       "4",
  pages =        "??--??",
  month =        oct,
  year =         "1984",
  CODEN =        "CRYPE6",
  ISSN =         "0161-1194",
  bibdate =      "Sat Nov 21 12:35:16 MST 1998",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 http://www.dean.usma.edu/math/pubs/cryptologia/",
  acknowledgement = ack-nhfb,
  romanvolume =  "VIII",
}

@TechReport{Alton:1985:SCP,
  author =       "Jeannine Alton and Peter Harper",
  title =        "Supplementary catalogue of papers and correspondence
                 of {Alan Mathison Turing, FRS} (1912--1954) material
                 additional to {CSAC 53/7/77}",
  number =       "CSAC 104/1/85",
  institution =  "Contemporary Scientific Archives Centre",
  address =      "London, UK",
  pages =        "16",
  year =         "1985",
  LCCN =         "QA29.T8 A63 Suppl.",
  bibdate =      "Sat Nov 19 12:33:18 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
  remark =       "Material additional to \cite{Alton:1977:RPA}.
                 Deposited in the Library of King's College,
                 Cambridge.",
  subject =      "Turing, Alan Mathison; Mathematicians; Great Britain;
                 Biography",
  subject-dates = "1912--1954",
}

@Book{Hodges:1985:ATE,
  author =       "Andrew Hodges",
  title =        "{Alan Turing}: the enigma of intelligence",
  publisher =    "Unwin Paperbacks",
  address =      "London, UK",
  pages =        "586",
  year =         "1985",
  ISBN =         "0-04-510060-8",
  ISBN-13 =      "978-0-04-510060-6",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 14:49:46 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 library.ox.ac.uk:210/ADVANCE",
  acknowledgement = ack-nhfb,
  subject =      "Turing, Alan Mathison; Mathematicians; Great Britain;
                 Biography",
  subject-dates = "1912--1954",
  xxnote =       "Check year: possibly 1983??",
}

@Article{Hull:1985:NT,
  author =       "T. E. Hull and A. Abraham and M. S. Cohen and A. F. X.
                 Curley and C. B. Hall and D. A. Penny and J. T. M.
                 Sawchuk",
  title =        "Numerical {Turing}",
  journal =      j-SIGNUM,
  volume =       "20",
  number =       "3",
  pages =        "26--34",
  month =        jul,
  year =         "1985",
  CODEN =        "SNEWD6",
  ISSN =         "0163-5778",
  bibdate =      "Sun Nov 20 10:09:28 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/tex/bib/fparith.bib;
                  ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  abstract =     "Numerical Turing is an extension of the Turing
                 programming language. Turing is a Pascal-like language
                 (with convenient string handling, dynamic arrays,
                 modules, and more general parameter lists) developed at
                 the University of Toronto. Turing has been in use since
                 May, 1983, and is now available on several
                 machines.\par

                 The Numerical Turing extension is especially designed
                 for numerical calculations. The important new features
                 are: (a) clean decimal arithmetic, along with
                 convenient functions for directed roundings and
                 exponent manipulation; (b) complete precision control
                 of variables and operations.",
  acknowledgement = ack-nhfb,
  keywords =     "languages; documentation",
  subject =      "D.3.3 Software, PROGRAMMING LANGUAGES, Language
                 Constructs, Procedures, functions, and subroutines \\
                 D.3.2 Software, PROGRAMMING LANGUAGES, Language
                 Classifications, SUPERPILOT \\ G.1.0 Mathematics of
                 Computing, NUMERICAL ANALYSIS, General, Computer
                 arithmetic",
}

@Book{Turing:1985:MM,
  author =       "A. M. Turing and H. Putnam and D. Davidson",
  title =        "Mentes y maquinas. ({Spanish}) [{Minds} and
                 machines]",
  publisher =    "Tecnos",
  address =      "Madrid, Spain",
  pages =        "126",
  year =         "1985",
  ISBN =         "????",
  ISBN-13 =      "????",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 14:43:01 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
}

@Book{Carpenter:1986:MTA,
  editor =       "B. E. Carpenter and R. W. Doran",
  title =        "{A. M. Turing}'s {ACE} Report of 1946 and Other
                 Papers",
  volume =       "10",
  publisher =    pub-MIT,
  address =      pub-MIT:adr,
  pages =        "vii + 141",
  year =         "1986",
  ISBN =         "0-262-03114-0",
  ISBN-13 =      "978-0-262-03114-1",
  LCCN =         "QA75 .A185 1986",
  bibdate =      "Sat Nov 19 13:23:32 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  series =       "Charles Babbage Institute Reprint Series for the
                 History of Computing",
  acknowledgement = ack-nhfb,
  remark =       "Proposal for development in the Mathematics Division
                 of an automatic computing engine (ACE) / A.M. Turing --
                 Lecture to the London Mathematical Society on 20
                 February 1947 / A.M. Turing -- The history and present
                 use of digital computers and the National Physical
                 Laboratory / M. Woodger.",
  subject =      "Calculators; History; Electronic digital computers",
}

@TechReport{Holt:1986:DGT,
  author =       "Richard C. Holt",
  title =        "Design goals for the {Turing} programming language",
  type =         "Technical Report",
  number =       "CSRI 187",
  institution =  "Computer Systems Research Institute, University of
                 Toronto",
  address =      "Toronto, Ontario, Canada",
  pages =        "44",
  year =         "1986",
  ISSN =         "0316-6295",
  bibdate =      "Sat Nov 19 15:56:41 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
}

@Article{Turing:1986:LLM,
  author =       "Alan Mathison Turing",
  title =        "Lecture to the {London Mathematical Society} on {20
                 February 1947}",
  journal =      j-MD-COMPUTING-CMP,
  volume =       "12",
  number =       "5",
  pages =        "390--397",
  month =        sep # "\slash " # oct,
  year =         "1986",
  CODEN =        "MDCOE7",
  ISSN =         "0724-6811",
  bibdate =      "Sat Nov 19 15:09:29 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
}

@Book{Turing:1986:MTA,
  author =       "Alan Mathison Turing and Michael Woodger and B. E.
                 Carpenter and R. W. Doran",
  title =        "{A.M. Turing}'s {ACE} report of 1946 and other
                 papers",
  publisher =    "Tomash Publishers",
  address =      "Los Angeles, CA, USA",
  pages =        "140 + 1",
  year =         "1986",
  ISBN =         "0-262-03114-0",
  ISBN-13 =      "978-0-262-03114-1",
  LCCN =         "QA75 .A1851 1986",
  bibdate =      "Mon Nov 4 07:46:57 MST 2002",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 ftp://ftp.math.utah.edu/pub/tex/bib/annhistcomput.bib",
  series =       "Charles Babbage Institute reprint series for the
                 history of computing ; 10",
  acknowledgement = ack-nhfb,
  contents =     "Proposal for development in the Mathematics Division
                 of an automatic computing engine (ACE) / A.M. Turing
                 --- Lecture to the London Mathematical Society on 20
                 February 1947 / A.M. Turing --- The history and present
                 use of digital computers and the National Physical
                 Laboratory / M. Woodger.",
  keywords =     "calculators --- history; electronic digital
                 computers",
  xxeditor =     "B. E. Carpenter and R. W. Doran",
}

@Article{Cordy:1987:DIE,
  author =       "J. R. Cordy and T. C. N. Graham",
  title =        "Design of an interpretive environment for {Turing}",
  journal =      j-SIGPLAN,
  volume =       "22",
  number =       "7",
  pages =        "199--204",
  month =        jul,
  year =         "1987",
  CODEN =        "SINODQ",
  ISSN =         "0362-1340",
  bibdate =      "Mon May 3 12:59:45 MDT 1999",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 http://www.acm.org/pubs/toc/",
  series =       ser-SIGPLAN,
  URL =          "http://www.acm.org:80/pubs/citations/proceedings/plan/29650/p199-cordy/",
  acknowledgement = ack-nhfb,
  keywords =     "design; languages",
  subject =      "{\bf D.3.4} Software, PROGRAMMING LANGUAGES,
                 Processors, Interpreters. {\bf D.3.2} Software,
                 PROGRAMMING LANGUAGES, Language Classifications,
                 TURING.",
}

@Book{Hochhuth:1987:ATE,
  author =       "Rolf Hochhuth",
  title =        "{Alan Turing: Erz{\"a}hlung} ({German}) [{Alan
                 Turing}: Narration]",
  publisher =    "Rowohlt",
  address =      "Reinbek bei Hamburg, Germany",
  pages =        "188",
  year =         "1987",
  ISBN =         "3-498-02879-0",
  ISBN-13 =      "978-3-498-02879-4",
  LCCN =         "PT2668.O3 A64 1987",
  bibdate =      "Sat Nov 19 16:23:46 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 library.ox.ac.uk:210/ADVANCE",
  acknowledgement = ack-nhfb,
  language =     "German",
  subject =      "Turing, Alan Mathison; Fiction",
  subject-dates = "1912--1954",
}

@TechReport{Holt:1987:TPL,
  author =       "Richard C. Holt and James R. Cordy",
  title =        "The {Turing} programming language",
  type =         "Technical Report",
  number =       "87-200",
  institution =  "Department of Computing and Information Science,
                 Queen's University at Kingston",
  address =      "Kingston, Ontario, Canada",
  year =         "1987",
  bibdate =      "Sat Nov 19 15:58:27 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Turing (Computer program language); Turing Plus
                 (Computer program language)",
}

@TechReport{Therkildsen:1987:GAA,
  author =       "Tom Therkildsen",
  title =        "En gjennomgang av {Alan M. Turing}'s artikkel: {``On
                 computable numbers, with an application to the
                 Entscheidungsproblem''} (1936), og en dr{\o}fting av
                 dens datafaglige aspekter. ({Norwegian}) [{A} review of
                 {Alan M. Turing}'s article {``On computable numbers,
                 with an application to the Entscheidungsproblem''}
                 (1936), and a discussion of its computational
                 aspects]",
  type =         "????",
  number =       "????",
  institution =  "????",
  address =      "????",
  year =         "1987",
  bibdate =      "Sat Nov 19 14:56:47 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 http://wgate.bibsys.no/",
  note =         "Prosjekt `UTM': en universell Turing-maskin.",
  acknowledgement = ack-nhfb,
}

@Book{Turing:1987:ISS,
  author =       "Alan M. Turing",
  title =        "{Intelligence Service: Schriften}. ({German})
                 [Intelligence Service: Writings]",
  publisher =    "Brinkmann und Bose",
  address =      "Berlin, Germany",
  pages =        "239",
  year =         "1987",
  ISBN =         "3-922660-22-3",
  ISBN-13 =      "978-3-922660-22-4",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 15:20:01 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  note =         "Edited by Bernhard Dotzler and Friedrich Kittler.",
  acknowledgement = ack-nhfb,
  language =     "German",
}

@Book{Whitemore:1987:BCa,
  author =       "Hugh Whitemore and Andrew Hodges",
  title =        "Breaking the code",
  publisher =    "Amber Lane",
  address =      "Oxford, UK",
  pages =        "80",
  year =         "1987",
  ISBN =         "0-906399-80-7",
  ISBN-13 =      "978-0-906399-80-4",
  LCCN =         "PR6073.H577 B73 1987",
  bibdate =      "Mon Nov 4 07:46:57 MST 2002",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  note =         "Based on the book `Alan Turing, the Enigma,' by Andrew
                 Hodges.",
  acknowledgement = ack-nhfb,
  keywords =     "Turing, Alan Mathison, 1912--1954 --- drama",
}

@Book{Whitemore:1987:BCb,
  author =       "Hugh Whitemore and Andrew Hodges",
  title =        "Breaking the Code",
  publisher =    "Fireside Theatre",
  address =      "Garden City, NY, USA",
  pages =        "112 + 4",
  year =         "1987",
  ISBN =         "????",
  ISBN-13 =      "????",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 16:14:49 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  note =         "Play based on the book {\em Alan Turing, the Enigma},
                 by Andrew Hodges.",
  acknowledgement = ack-nhfb,
}

@Misc{Whitemore:1987:BCS,
  author =       "Hugh Whitemore",
  title =        "Breaking the Code: {The} Story of {Alan Turing}",
  year =         "1987",
  bibdate =      "Sat Nov 19 12:09:58 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 ftp://ftp.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib",
  acknowledgement = ack-nhfb,
  mynote =       "Saw the performance at the Library Theatre, 13-12-94.
                 Stephen Tindall as Turing. Just over 2 hours. It
                 managed to mention most of the key points about
                 Turing's life, if only briefly, but concentrated mainly
                 on his homosexuality, with more explicit detail than I
                 thought necessary. Nothing on the process of code
                 breaking. Tindall was quite good, but didn't try the
                 high pitched laugh and no doubt has a deeper, more
                 resonant voice and puts the speeches across better than
                 Turing would have.",
}

@Book{Herken:1988:UTM,
  editor =       "Rolf Herken",
  title =        "The {Universal Turing Machine}: a half-century
                 survey",
  publisher =    pub-OXFORD,
  address =      pub-OXFORD:adr,
  pages =        "xiv + 661",
  year =         "1988",
  ISBN =         "0-19-853741-7",
  ISBN-13 =      "978-0-19-853741-0",
  LCCN =         "QA267 .U55 1988",
  bibdate =      "Sat Nov 19 12:33:18 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
  subject =      "Turing machines",
}

@Book{Hodges:1988:ATO,
  author =       "Andrew Hodges",
  title =        "{Alan Turing} ou l'{\'e}nigme de l'intelligence.
                 ({French}) [{Alan Turing}, or the enigma of
                 intelligence]",
  publisher =    "Payot",
  address =      "Paris, France",
  pages =        "437",
  year =         "1988",
  ISBN =         "2-228-88081-7",
  ISBN-13 =      "978-2-228-88081-7",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 15:18:41 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  language =     "French",
}

@TechReport{Holt:1988:CPO,
  author =       "R. C. Holt and D. A. Penny",
  title =        "The concurrent programming of operating systems using
                 the {Turing Plus} language",
  type =         "Technical Report",
  number =       "????",
  institution =  "Computer Systems Research Institute, University of
                 Toronto",
  address =      "Toronto, Ontario, Canada",
  pages =        "300 (est.)",
  year =         "1988",
  bibdate =      "Sat Nov 19 16:01:26 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Computer programming; Operating systems (Computers);
                 Systems programming (Computer science); Turing
                 (Computer program language)",
}

@TechReport{Holt:1988:CPU,
  author =       "R. C. Holt and D. A. Penny",
  title =        "Concurrent programming using the {Turing Plus}
                 language",
  type =         "Technical Report",
  number =       "????",
  institution =  "Computer Systems Research Institute, University of
                 Toronto",
  address =      "Toronto, Ontario, Canada",
  pages =        "108",
  year =         "1988",
  bibdate =      "Sat Nov 19 15:59:50 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
}

@Article{Holt:1988:TPLa,
  author =       "R. C. Holt and J. R. Cordy",
  title =        "The {Turing} Programming Language",
  journal =      j-CACM,
  volume =       "31",
  number =       "12",
  pages =        "1410--1423",
  year =         "1988",
  CODEN =        "CACMA2",
  ISSN =         "0001-0782",
  bibdate =      "Sun Nov 20 10:10:37 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
}

@Book{Holt:1988:TPLb,
  editor =       "R. C. (Richard C.) Holt and Philip A. Matthews and J.
                 Alan Rosselet and James R. Cordy",
  title =        "The {Turing} programming language: design and
                 definition",
  publisher =    pub-PH,
  address =      pub-PH:adr,
  pages =        "viii + 325",
  year =         "1988",
  ISBN =         "0-13-933136-0 (paperback)",
  ISBN-13 =      "978-0-13-933136-7 (paperback)",
  LCCN =         "QA76.73.T85 T87 1988",
  bibdate =      "Sat Nov 19 12:33:18 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
  subject =      "Turing (Computer program language)",
}

@Article{Perelgut:1988:TPC,
  author =       "S. Perelgut and J. R. Cordy",
  title =        "{Turing Plus}: a comparison with {C} and {Pascal}",
  journal =      j-SIGPLAN,
  volume =       "23",
  number =       "1",
  pages =        "137--143",
  month =        jan,
  year =         "1988",
  CODEN =        "SINODQ",
  ISSN =         "0362-1340",
  bibdate =      "Sun Dec 14 09:15:19 MST 2003",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 http://portal.acm.org/",
  acknowledgement = ack-nhfb,
  keywords =     "languages; performance",
  subject =      "D.3.2 Software, PROGRAMMING LANGUAGES, Language
                 Classifications, TURING \\ D.3.2 Software, PROGRAMMING
                 LANGUAGES, Language Classifications, C \\ D.3.2
                 Software, PROGRAMMING LANGUAGES, Language
                 Classifications, Pascal",
}

@Article{Tomayko:1988:AAT,
  author =       "James E. Tomayko and Peter Hilton and Richard Louis
                 Weis and Alfred {Van Sinderen}",
  title =        "Anecdotes: {Alan Turing in the Home Guard};
                 {Overcoming Murphy's Law}; {Babbage and the Scheutz
                 Machine at Dudley Observatory}",
  journal =      j-ANN-HIST-COMPUT,
  volume =       "10",
  number =       "2",
  pages =        "133--139",
  month =        apr # "\slash " # jun,
  year =         "1988",
  CODEN =        "AHCOE5",
  ISSN =         "0164-1239",
  bibdate =      "Fri Nov 1 15:29:12 MST 2002",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 http://www.computer.org/annals/an1988/",
  URL =          "http://dlib.computer.org/an/books/an1988/pdf/a2133b.pdf;
                 http://www.computer.org/annals/an1988/a2133babs.htm",
  acknowledgement = ack-nhfb,
}

@Article{Weiss:1988:BOP,
  author =       "Eric A. Weiss",
  title =        "Biographies: Oh, Pioneers!",
  journal =      j-ANN-HIST-COMPUT,
  volume =       "10",
  number =       "4",
  pages =        "348--361",
  month =        oct # "\slash " # dec,
  year =         "1988",
  CODEN =        "AHCOE5",
  ISSN =         "0164-1239",
  bibdate =      "Fri Nov 1 15:29:13 MST 2002",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 http://www.computer.org/annals/an1988/",
  URL =          "http://dlib.computer.org/an/books/an1988/pdf/a4348.pdf;
                 http://www.computer.org/annals/an1988/a4348abs.htm",
  acknowledgement = ack-nhfb,
  annote =       "This paper contains a brief summary of the
                 contributions of 261 individuals to the development of
                 computing.",
  keywords =     "Howard Hathaway Aiken; Samuel N. Alexander; Mohammed
                 ibn Musa Al-Khowarizmi; Paul Allen; Gene M. Amdahl;
                 Morton Michael Astrahan; John Vincent Atanasoff; Isaac
                 L. Auerbach; Charles Babbage; Henry P. Babbage; Charles
                 Bachman; John Warner Backus; Stephen Frank Baldwin;
                 John Bardeen; Robert S. Barton; Friedrich L. Bauer; C.
                 Gordon Bell; Richard Ernest Bellman; Robert W. Bemer;
                 Edmund C. Berkeley; Clifford E. Berry; Julian Bigelow;
                 Julius Blank; Richard M. Bloch; L{\'e}on Boll{\'e}e;
                 George Boole; Andrew Donald Booth; John Grist Brainerd;
                 Herbert S. Bright; Henry Briggs; Howard Bromberg;
                 Frederick P. Brooks, Jr.; Werner Buchholz; Arthur
                 Walter Burks; John Burns; William Seward Burroughs;
                 Vannevar E Bush; Nolan Bushnell; Samuel H. Caldwell;
                 Richard V. D. Campbell; Richard J. Canning; John Weber
                 Carr, III; Harold Chestnut; Noam Chomsky; Joseph
                 Chedaker; Jeffrey Chuan Chu; Alonzo Church; Arthur C.
                 Clarke; Joseph Clement; Richard Clippinger; Edgar F.
                 Codd; Arnold A. Cohen; Leslie John Comrie; Lynn Conway;
                 Stephen A. Cook; James William Cooley; Allen W. M.
                 Coombes; Fernando J. Corbat{\'o}; Louis Couffignal; J.
                 Daniel Cougar; Richard Courant; Perry 0. Crawford;
                 Seymour R. Cray; John H. Curtiss; George Bernard
                 Dantzig; C. J. Date; D. W. Davies; Watson Davis; W. J.
                 Deerhake; Robert H. Dennard; B. M. Derfee; John
                 Diebold; Edsger W. Dijkstra; J. Presper Eckert, Jr.;
                 Wallace J, Eckert; Andrei P. Ershov; Bob O. Evans;
                 Robert R. Everett; Fairchild Eight (Julius Blank,
                 Victor H. Grinich, Jean A. Hoerni, Eugene Kleiner, Jay
                 T. Last, Gordon E. Moore, Robert N. Noyce, and C.
                 Sheldon Roberts); Adin D. Falkoff; Edward E.
                 Feigenbaum; Dorr E. Felt; Sidney Fernbach; Richard P.
                 Feynman; Leonardo of Pisa a.k.a. Fibonacci; Thomas H.
                 Flowers; Robert W. Floyd; Andrew Fluegelman; Jay W.
                 Forrester; George Elmer Forsythe; William Gates;
                 Herbert Leo Gelernter; Stanley Gill; Edward L. (Ted)
                 Glaser; Herman Heine Goldstine; Ralph E. Gomory; I. J.
                 Good; Harry H. Goode; Jackson Granholm [``kludge'']; G.
                 B. Grant; Frank Gray; Victor H. Grinich; Herbert R. J.
                 Grosch; Jerrier A. Haddad; Maurice Howard Halstead;
                 Frank E. Hamilton; Richard Wesley Hamming; Douglas R.
                 Hartree; Brian Havens; William P. Heising; James M.
                 Henry; Harlan L. Herrick; William Hewlett; Lejaren A.
                 Hiller; Charles Antony Richard Hoare; Jean A. Hoerni;
                 Frances Elizabeth (Betty) Snyder Holberton; Herman
                 Hollerith; Grace Murray Hopper; Alston Scott
                 Householder; G. Truman Hunter; Cuthbert C. Hurd; Harry
                 Douglas Huskey; Kenneth Eugene Iverson; E. T. Irons;
                 Joseph Marie Jacquard; Steven Jobs; Fletcher Jones;
                 Brian Josephson; Karl Karlstrom; Mitchell D. Kapor;
                 Alan Kay; Lord Kelvin (William Thomson); John George
                 Kemeny; Tom Kilburn; Jack St. Clair Kilby; Augusta Ada
                 King (nee Gordon); Eugene Kleiner; Donald Ervin Knuth;
                 Thomas Eugene Kurtz; Clair D. Lake; Dionysius Lardner;
                 Earl R. Larson; Jay T. Last; T. Vincent Learson;
                 Derrick Henry Lehmer; Gottfried Wilhelm Leibniz; E. H.
                 Lennaerts; Wassily Leontieff; William Leybourn; Joseph
                 Carl Robnett Licklider; Percy Ludgate; Herman Lukoff;
                 Amedee Mannheim; John William Mauchly; John McCarthy;
                 William F. McClelland; Edward Joseph McCluskey; Daniel
                 Delbert McCracken; Warren Sturgis McCulloch; John C.
                 McPherson; Carver Mead; L. F. Meabrea; Nicholas
                 Constantine Metropolis; Donald Michie; Harlan D. Mills;
                 Marvin L. Minsky; Samuel Morland; Ernest R. Moore;
                 Gordon E. Moore; Francis Joseph Murray; John Napier;
                 Peter Naur; Allen Newell; Maxwell H. A. Newman; William
                 C. Norris; Robert N. Noyce; Roy Nutt; W. T. Odhner;
                 Bruce G. Oldfield; Kenneth H. Olsen; William
                 Orchard-Hays; William Oughtred; David Packard; Max
                 Palevsky; Seymour Papert; Donn B. Parker; Blaise
                 Pascal; Alan J. Perlis; Carl Adam Petri; George H.
                 Philbrick; Charles A. Phillips; John R. Pierce; Walter
                 Pitts; Jim Pommerene; A. Porter; Emil L. Post; John
                 Powers; Michael 0. Rabin; Jan Aleksander Rajchman;
                 Brian Randell; Mina Rees; Marian Rejewski; W. Renwick;
                 Dennis M. Ritchie; C. Sheldon Roberts; Nathaniel
                 Rochester; Saul Rosen; Frank Rosenblatt; Arturo
                 Rosenblueth; Heinz Rutishauser; Gerard Salton; Jean E.
                 Sammet; Arthur Lee Samuel; David Sarnoff; Robert
                 Sarnoff; Georg and Edvard Scheub; Wilhelm Schikard;
                 Helmut Schreyer; Jules I. Schwartz; Dana Scott; Oliver
                 G. Selfridge; Claude Elwood Shannon; Thomas Kite
                 Sharpless; John Clifford Shaw; Donald Lewis Shell;
                 Herbert A. Simon; Richard Snyder; George Robert
                 Stibitz; Christopher S. Strachey; Ivan Edward
                 Sutherland; Johnathan Swift; Orrin Edison Taulbee;
                 Charles Xavier Thomas (Thomas de Colmar); Ken Thompson;
                 John Todd; Erwin Tomash; Leonardo Torres y Quevedo;
                 Jack Tramiel; Joseph Frederick Traub; Irven Travis;
                 John Wilder Tukey; Alan M. Turing; Aard van
                 Wijngaarden; John von Neumann; Thomas J. Watson, Jr.;
                 Thomas J. Watson, Sr.; Warren Weaver; Gerald M.
                 Weinberg; Joseph Weizenbaum; David J. Wheeler; Norbert
                 Wiener; Maurice V. Wilkes; James Hardy Wilkinson;
                 Frederic Calland Williams; S. B. Williams; Niklaus
                 Wirth; Michael Woodger; Stephen Wozniak; Vladimar
                 Zworykin; Konrad Zuse",
  xxnote =       "Norbert Wiener appears incorrectly as Norbert Weiner
                 in this article.",
}

@Book{Whitemore:1988:BC,
  author =       "Hugh Whitemore and Andrew Hodges and Alan Turing",
  title =        "Breaking the code",
  publisher =    "S. French",
  address =      "New York, NY, USA",
  pages =        "114 + 2",
  year =         "1988",
  ISBN =         "0-573-69030-8",
  ISBN-13 =      "978-0-573-69030-3",
  LCCN =         "PR6073.H577 B74 1988",
  bibdate =      "Sat Nov 19 16:27:17 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
  remark =       "Based on the book {\em Alan Turing, the enigma\/} by
                 Andrew Hodges.",
  subject =      "Turing, Alan Mathison; Drama",
  subject-dates = "1912--1954",
}

@Book{Whitemore:1988:BCP,
  author =       "Hugh Whitemore and Andrew Alan Turing Hodges",
  title =        "Breaking the code: a play",
  publisher =    "French",
  address =      "London, UK",
  pages =        "64",
  year =         "1988",
  ISBN =         "0-573-01656-9",
  ISBN-13 =      "978-0-573-01656-1",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 16:48:29 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 library.ox.ac.uk:210/ADVANCE",
  acknowledgement = ack-nhfb,
  remark =       "Based on the novel {\em Alan Turing by Andrew Hodges}.
                 Originally published: Oxford, Amber Lane, 1987.",
}

@Book{Dewdney:1989:TOE,
  author =       "A. K. Dewdney",
  title =        "The {Turing} omnibus: 61 excursions in computer
                 science",
  publisher =    "Computer Science Press",
  address =      "Rockville, MD, USA",
  pages =        "xiv + 415",
  year =         "1989",
  ISBN =         "0-7167-8154-9",
  ISBN-13 =      "978-0-7167-8154-7",
  LCCN =         "QA76 D45 1989",
  bibdate =      "Sat Nov 19 18:33:02 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 library.ox.ac.uk:210/ADVANCE",
  acknowledgement = ack-nhfb,
  subject =      "Computers; Electronic data processing",
}

@Book{Hochhuth:1989:AT,
  author =       "Rolf Hochhuth and Ya`akov Gotshlak",
  title =        "{Alan Turing}",
  publisher =    "Sifriyat po`alim",
  address =      "Tel Aviv, Israel",
  pages =        "158",
  year =         "1989",
  ISBN =         "965-04-2049-5",
  ISBN-13 =      "978-965-04-2049-9",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 17:21:08 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  language =     "Hebrew",
}

@Book{Hodges:1989:ATEb,
  author =       "Andrew Hodges",
  title =        "{Alan Turing}, enigma",
  volume =       "1",
  publisher =    "Kammerer \& Unverzagt",
  address =      "Berlin, Germany",
  pages =        "662",
  year =         "1989",
  ISBN =         "3-9801050-5-9",
  ISBN-13 =      "978-3-9801050-5-7",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 17:31:55 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  series =       "Computerkultur",
  acknowledgement = ack-nhfb,
  language =     "German",
}

@Book{Hodges:1989:ATEa,
  author =       "Andrew Hodges",
  title =        "{Alan Turing}, enigma",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  edition =      "Second",
  pages =        "????",
  year =         "1989",
  ISBN =         "3-211-82627-0",
  ISBN-13 =      "978-3-211-82627-0",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 17:31:55 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  language =     "German",
}

@Book{Williams:1989:EBC,
  editor =       "Michael R. Williams and Martin Campbell-Kelly",
  title =        "The Early {British Computer Conferences}",
  volume =       "14",
  publisher =    pub-MIT,
  address =      pub-MIT:adr,
  pages =        "xvi + 508",
  year =         "1989",
  ISBN =         "0-262-23136-0",
  ISBN-13 =      "978-0-262-23136-7",
  LCCN =         "QA76.17 .E17 1989",
  bibdate =      "Fri Nov 25 15:04:23 MST 2005",
  bibsource =    "z3950.loc.gov:7090/Voyager",
  series =       "The Charles Babbage Institute reprint series for the
                 history of computing",
  acknowledgement = ack-nhfb,
  subject =      "Computers; History; Computers; Great Britain;
                 Congresses; History",
  tableofcontents = "General introduction: conference on high speed
                 automatic calculating machines, D. R. Hartree, pp.
                 12--15\par

                 The E.D.S.A.C., M. V. Wilkes, pp.
                 16--20\par

                 Demonstration of the E.D.S.A.C., W. Renwick, pp.
                 21--26\par

                 Relay computers, A. D. Booth, pp. 27--30\par

                 Discussion on relay machines, S. H. Hollingdale, pp.
                 31--33\par

                 Cathode ray tube storage F. C. Williams Page:
                 34

                 Discussion of cathode ray tube storage E. J. K. Hesketh
                 Page: 35

                 Coding on automatic digital computing machines, J. H.
                 Wilkinson, pp. 36--41\par

                 Planning the use of a paper library, D. I. Wheeler, pp.
                 42--44\par

                 Sign correction in modulus convention, T. J. Rey, pp.
                 45--49\par

                 The programming of supersonic nozzle flow, H. Eggink,
                 pp. 50--53\par

                 The control of magnitude of numbers in digital
                 computing machines with a fixed binary point, B. Noble,
                 pp. 54--59\par

                 [The Institute Blaise Pascal Machine] French computing
                 machine projects, Monsieur L. Couffignat, pp.
                 60--69\par

                 Checking a large routine, A. Turing, pp.  70--72\par

                 Some routines involving large integers, M. H. A.
                 Newman, pp. 73--75\par

                 Permanent and semi-permanent storage facilities for
                 binary digital computers, E. N. Mutch, pp.  76--78\par

                 Magnetic storage, G. E. Thomas, pp. 79--88\par

                 Magnetic recording for a digital computer, A.
                 Tutchings, pp. 89--93\par

                 Photographic storage for a series working machine, W.
                 S. Elliott, pp. 94--96\par

                 A proposed magnetic wire auxiliary store for the
                 E.D.S.A.C. D. W. Willis Page: 97

                 Discussion on magnetic storage systems, A. M. Uttley,
                 pp. 98--99\par

                 Checking procedure and circuits, A. M. Uttley, pp.
                 100--105\par

                 Checking facilities D. J. Wheeler Page: 106

                 Checkable addition circuits, R. H. A. Carter, pp.
                 107--116\par

                 Electronic trigger circuits having several states of
                 stable equilibrium, S. W. Noble, pp.  117--122\par

                 Remarks on checking, J. C. P. Miller, pp.  123--124\par

                 General discussion of checking systems D. R. Hartree
                 Page: 125

                 Electronic digital computing in the United States,
                 Harry D. Huskey, pp. 126--129\par

                 Computing machine projects in Holland A. van
                 Wijngaarden Page: 130

                 Fictitious traffic machines, L. Kosten, pp.
                 131--133\par

                 Computing machine projects in Sweden, G. Kjelberg, pp.
                 134--137\par

                 The Manchester University digital computing machine, T.
                 Kiburn, pp. 138--145\par

                 Discussion of plans, projects, and general ideas, A. M.
                 Uttley, M. V. Wilkes, W. S. Elliott, Brigadier G. H.
                 Hinds, D. M. Mackay, F. A. N. Hitch, pp.  147--158\par

                 The University of Manchester computing machine, F. C.
                 Williams, T. Kiburn, pp. 171--177\par

                 Local programming methods and conventions A. M. Turing
                 Page: 178

                 The influence of automatic computers on mathematical
                 methods M. H. A. Newman Page: 179

                 The search for large primes, J. C. P. Miller, pp.
                 180--181\par

                 The best way to design an automatic calculating
                 machine, M. V. Wilkes, pp. 182--184\par

                 A comparison of one and three address codes, M.
                 Woodger, pp. 185--189\par

                 The pilot model of the A.C.E., E. A. Newman, pp.
                 190--191\par

                 Comparison of coding on S.E.A.C. and E.D.S.A.C. J. C.
                 P. Miller Page: 192

                 Activity in Sweden in digital computer field G. Neovius
                 Page: 193

                 A brief account of the work done at the Zurich
                 institute of applied mathematics A. P. Speiser Page:
                 193

                 Manchester computing machine: general topics, M. J.
                 Lighthill, G. C. Tootill, J. C. P. Miller, A. M.
                 Turing, E. A. Newman, pp. 194--196\par

                 The application of calculating machines to business and
                 commerce, B. V. Bowden, pp. 196--198\par

                 The reliability of high-speed digital computing
                 machines, A. A. Robinson, pp. 199--201\par

                 The computation of Fourier syntheses with a digital
                 electronic calculating machine, J. M. Bennett, J. C.
                 Kendrew, pp. 201--203\par

                 Opening address: automatic digital computation, D. R.
                 Hartree, pp. 215--218\par

                 The pilot ACE, J. H. Wilkinson, pp. 219--228\par

                 The E.D.S.A.C., M. V. Wilkes, pp.  229--231\par

                 Operating and engineering experience gained with LEO,
                 J. M. M. Pinkerton, pp. 232--244\par

                 Madam, F. C. Williams, pp. 245--249\par

                 MOSAIC: the ``Ministry of Supply Automatic Computer'',
                 A. W. M. Coombs, pp. 249--252\par

                 Nicholas, N. D. Hill, pp. 253--254\par

                 Advance notes on RASCAL, E. J. Petherick,
                 pp. 255--264\par

                 The TRE high-speed digital computer, R. H. A. Carter,
                 pp. 265--273\par

                 Optimum coding, G. G. Away, pp. 274--278\par

                 Microprogramming and the choice of order code,
                 J. E. Stringer, pp. 279--283\par

                 Conversion routines, E. N. Mutch, S. Gill,
                 pp. 283--289\par

                 Getting programmes right, S. Gill, pp. 289--292\par

                 Special requirements for commercial or administrative
                 applications, T. R. Thompson, pp. 293--309\par

                 Input and output, D. W. Davies, pp. 310--324\par

                 Echelon storage systems, D. O. Clayden,
                 pp. 325--328\par

                 Serial digital adders for a variable radix of notation,
                 R. Townsend, pp. 328--332\par

                 Mathematics and computing, A. van Wijngaarden,
                 pp. 333--337\par

                 Linear algebra on the pilot ACE, J. H. Wilkinson,
                 pp. 337--344\par

                 The numerical solution of ordinary differential
                 equations, L. Fox, H. H. Robertson, pp. 345--355\par

                 The solution of partial differential equations,
                 N. E. Hoskin, pp. 355--361\par

                 Mathematical tables, E. T. Goodwin, pp. 362--367\par

                 Applications of electronic machines in pure
                 mathematics, J. C. P. Miller, pp. 367--372\par

                 The application of automatic computing machines to
                 statistics, K. D. Tocher, pp. 373--385\par

                 General discussion on ``machine utilization'',
                 D. H. Sadler, pp. 385--387\par

                 Gates and trigger circuits, W. W. Chandler,
                 pp. 388--393\par

                 Parallel ferroresonant triggers, J. Garcia Santesmases,
                 pp. 393--401\par

                 Mercury delay line storage, M. A. Wright,
                 pp. 402--406\par

                 Applications of magnetostriction delay lines,
                 R. C. Robbins, R. Millership, pp. 406--419\par

                 Cathode ray tube storage, T. Kilburn, pp. 419--423\par

                 Memory studies and other developments at the National
                 Bureau of Standards, Ralph J. Slutz, pp. 424--441\par

                 Preventive or curative maintenance, E. A. Newman,
                 pp. 442--445\par

                 Experience with marginal checking and automatic routing
                 of the EDSAC, M. V. Wilkes, M. Phister, S. A. Barton,
                 pp. 446--453\par

                 Diagnostic programmes, R. L. Grimsdale,
                 pp. 453--459\par

                 Component reliability in a computing machine at
                 manchester university, A. A. Robinson, pp. 460--464\par

                 The Harwell Computer, E. H. Cooke-Yarborough,
                 pp. 465--469\par

                 The APE(X)C: a low-cost electronic calculator,
                 A. D. Booth, pp. 470--475\par

                 The Elliott-NRDC Computer 401: a demonstration of
                 computer engineering by packaged unit construction,
                 W. S. Elliott, H. G. Carpenter, A. St. Johnston,
                 pp. 476--479\par

                 Medium-size decimal computing machine, N. Kitz,
                 pp. 480--482\par

                 The design requirements of a low-cost computing
                 machine, K. D. Tocher, pp. 483--486",
}

@Article{Deavours:1990:TBW,
  author =       "C. A. Deavours and Louis Kruh",
  title =        "The {Turing} Bombe: Was it Enough?",
  journal =      j-CRYPTOLOGIA,
  volume =       "14",
  number =       "4",
  pages =        "331--349",
  month =        oct,
  year =         "1990",
  CODEN =        "CRYPE6",
  ISSN =         "0161-1194",
  bibdate =      "Fri Mar 15 09:01:38 MST 2002",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 OCLC Article1st database",
  note =         "Reprinted in \cite[pp. 403--421]{Deavours:1998:SCH}.",
  acknowledgement = ack-nhfb,
  romanvolume =  "XIV",
}

@Book{Holt:1990:ICS,
  author =       "R. C. (Richard C.) Holt",
  title =        "Introduction to computer science using the {Turing}
                 programming language",
  publisher =    "Holt Software Associates Inc.",
  address =      "Toronto, Ontario, Canada",
  edition =      "Second",
  pages =        "????",
  year =         "1990",
  ISBN =         "0-921598-06-8",
  ISBN-13 =      "978-0-921598-06-0",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 16:03:07 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
}

@Book{Hume:1990:ICS,
  author =       "J. N. P. Hume and R. C. (Richard C.) Holt",
  title =        "Introduction to computer science using the {Turing}
                 programming language",
  publisher =    "Holt Software Associates Inc.",
  address =      "Toronto, ON, Canada",
  edition =      "Second",
  pages =        "viii + 389",
  year =         "1990",
  ISBN =         "0-921598-06-8",
  ISBN-13 =      "978-0-921598-06-0",
  LCCN =         "QA 76 .H62 1990",
  bibdate =      "Mon Oct 15 12:04:37 MDT 2007",
  bibsource =    "sirsi.library.utoronto.ca:2200/UNICORN",
  acknowledgement = ack-nhfb,
  remark =       "Authors' names in reverse order in previous edition
                 \cite{Holt:1990:ICS}.",
  subject =      "Electronic data processing; Turing (Computer program
                 language)",
}

@Book{Mangel:1990:CTB,
  editor =       "Marc Mangel",
  title =        "Classics of theoretical biology: from material
                 presented at a meeting held on {5 July 1988} in
                 {Oxford, UK}",
  publisher =    pub-PERGAMON,
  address =      pub-PERGAMON:adr,
  pages =        "334 (vol. 1), 3326 (vol. 2)",
  year =         "1990",
  ISBN =         "????",
  ISBN-13 =      "????",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 13:39:47 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  note =         "Two volumes. Printed in Bulletin of mathematical
                 biology (ISSN 0092-8240) 52(1/2) 1990 and 53(1/2)
                 1991.",
  series =       "Bulletin of mathematical biology",
  acknowledgement = ack-nhfb,
}

@TechReport{Stewart:1990:DTM,
  author =       "I. A. Stewart",
  title =        "The demise of the {Turing Machine} in complexity
                 theory",
  type =         "Technical report",
  number =       "310",
  institution =  "Computing Laboratory, University of Newcastle upon
                 Tyne",
  address =      "Newcastle upon Tyne, UK",
  pages =        "11",
  year =         "1990",
  bibdate =      "Sat Nov 19 18:33:02 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 library.ox.ac.uk:210/ADVANCE",
  acknowledgement = ack-nhfb,
  subject =      "Turing machines; Computational complexity",
}

@TechReport{Endresen:1991:TTA,
  author =       "Alexander Endresen and Ivar H{\aa}konsen",
  title =        "{TAPE (Turing Application Programming Environment)}:
                 attribute grammar and language-based editor for the
                 {Turing} programming language",
  type =         "Hovedoppgave i informatikk til cand. scient. eksamen
                 [{Thesis} in computer science for the {Cand. Scient.}
                 examination]",
  institution =  "Universitetet i Bergen",
  address =      "Bergen, Norway",
  year =         "1991",
  bibdate =      "Sat Nov 19 16:06:23 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  note =         "Two volumes.",
  acknowledgement = ack-nhfb,
}

@Article{Huskey:1991:MED,
  author =       "Harry D. Huskey",
  title =        "Memoir: The Early Days",
  journal =      j-ANN-HIST-COMPUT,
  volume =       "13",
  number =       "3",
  pages =        "290--306",
  month =        jul # "\slash " # sep,
  year =         "1991",
  CODEN =        "AHCOE5",
  ISSN =         "0164-1239",
  bibdate =      "Fri Nov 01 10:35:25 2002",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 http://www.computer.org/annals/an1991/",
  URL =          "http://dlib.computer.org/an/books/an1991/pdf/a3285.pdf;
                 http://www.computer.org/annals/an1991/a3285abs.htm",
  acknowledgement = ack-nhfb,
}

@Book{Rigamonti:1991:TGS,
  author =       "Gianni Rigamonti",
  title =        "{Turing}: il genio e lo scandalo. ({Italian})
                 [{Turing}: the genius and the scandal]",
  publisher =    "Flaccovio",
  address =      "Palermo, Italy",
  pages =        "123",
  year =         "1991",
  ISBN =         "88-7804-055-X",
  ISBN-13 =      "978-88-7804-055-7",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 15:17:14 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
}

@InCollection{Good:1992:IRA,
  author =       "I. J. Good",
  title =        "Introductory Remarks for the Article in {Biometrika
                 {\bf 66} (1979), ``A. M. Turing's Statistical Work in
                 World War II''}",
  crossref =     "Turing:1992:PM",
  pages =        "211--223",
  year =         "1992",
  bibdate =      "Sun Nov 20 10:13:45 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib;
                 ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  mynote =       "Some previously secret facts about Bletchley work not
                 to be found elsewhere, I suspect. Good bibliography of
                 `Ultra/Enigma' books.",
}

@Book{Harrison:1992:TON,
  author =       "Harry Harrison and Marvin Lee Minsky",
  title =        "The {Turing} option: a novel",
  publisher =    "Warner Books",
  address =      "New York, NY, USA",
  pages =        "422",
  year =         "1992",
  ISBN =         "0-446-51565-5",
  ISBN-13 =      "978-0-446-51565-8",
  LCCN =         "PS3558.A667 T88 1992",
  bibdate =      "Mon Oct 15 11:58:06 MDT 2007",
  bibsource =    "z3950.loc.gov:7090/Voyager",
  price =        "US\$21.95 (US\$26.95 Can.)",
  acknowledgement = ack-nhfb,
  subject =      "Artificial intelligence; Fiction",
}

@Book{Hodges:1992:ATE,
  author =       "Andrew Hodges",
  title =        "Alan Turing: the enigma",
  publisher =    "Vintage",
  address =      "London, UK",
  pages =        "xix + 586 + 8",
  year =         "1992",
  ISBN =         "0-09-911641-3",
  ISBN-13 =      "978-0-09-911641-7",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 18:33:02 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 library.ox.ac.uk:210/ADVANCE",
  acknowledgement = ack-nhfb,
  remark =       "Originally published: London: Burnett Books, 1983.",
  subject =      "Turing, Alan Mathison; Mathematicians; Great
                 Britain; Biography",
  subject-dates = "1912--1954",
}

@Article{Pool:1992:DTD,
  author =       "Robert Pool",
  title =        "Did {Turing Discover How} the {Leopard Got Its
                 Spots?}: {Understanding} the way a simple chemical
                 system produces patterns may offer insights into animal
                 development",
  journal =      j-SIGPLAN,
  volume =       "27",
  number =       "12",
  pages =        "28--28",
  month =        dec,
  year =         "1992",
  CODEN =        "SINODQ",
  ISSN =         "0362-1340",
  bibdate =      "Sun Dec 14 09:16:30 MST 2003",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Book{Turing:1992:M,
  author =       "A. M. Turing",
  title =        "Morphogenesis",
  publisher =    pub-NH,
  address =      pub-NH:adr,
  pages =        "xxvi + 131",
  year =         "1992",
  ISBN =         "0-444-88486-6",
  ISBN-13 =      "978-0-444-88486-2",
  LCCN =         "????",
  MRclass =      "92C15 (01A60 01A75 80A30 92-03)",
  MRnumber =     "MR1219955 (94j:92005)",
  MRreviewer =   "Lionel G. Harrison",
  bibdate =      "Sat Nov 19 13:23:32 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  note =         "With a preface by P. N. Furbank, Edited by P. T.
                 Saunders",
  series =       "Collected Works of A. M. Turing",
  acknowledgement = ack-nhfb,
  author-dates = "1912--1954",
  subject =      "Plant morphogenesis; Plant morphogenesis; Mathematical
                 models; Phyllotaxis; Phyllotaxis; Mathematical models",
}

@Book{Turing:1992:MI,
  author =       "Alan Mathison Turing",
  title =        "Mechanical intelligence",
  publisher =    pub-NH,
  address =      pub-NH:adr,
  pages =        "xix + 227",
  year =         "1992",
  ISBN =         "0-444-88058-5",
  ISBN-13 =      "978-0-444-88058-1",
  LCCN =         "Q335.5 .T87 1992",
  MRclass =      "01A75 (01A70 68-03)",
  MRnumber =     "MR1150053 (93b:01050)",
  MRreviewer =   "A. D. Booth",
  bibdate =      "Sat Nov 19 13:46:01 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  note =         "Edited and with an introduction by D. C. (Darrel C.)
                 Ince, With a preface by P. N. Furbank.",
  series =       "Collected works of A.M. Turing",
  acknowledgement = ack-nhfb,
  author-dates = "1912--1954",
  subject =      "Artificial intelligence",
}

@Book{Dewdney:1993:NTO,
  author =       "A. K. Dewdney",
  title =        "The (new) {Turing} omnibus: 66 excursions in computer
                 science",
  publisher =    pub-CSP,
  address =      pub-CSP:adr,
  pages =        "xvi + 455",
  year =         "1993",
  ISBN =         "0-7167-8271-5",
  ISBN-13 =      "978-0-7167-8271-1",
  LCCN =         "DA76.D45 1993; QA76 .D448 1993",
  bibdate =      "Mon Oct 15 11:54:43 MDT 2007",
  bibsource =    "melvyl.cdlib.org:210/CDL90",
  acknowledgement = ack-nhfb,
  subject =      "Electronic data processing; Computers",
}

@Article{Hill:1993:ATM,
  author =       "Chris Hill",
  title =        "{Alan Turing}: a mathematical genius",
  journal =      "{Altrincham History Society} Occasional Papers",
  volume =       "6",
  pages =        "10",
  year =         "1993",
  bibdate =      "Sat Nov 19 17:24:41 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
}

@Book{Hinsley:1993:CIS,
  editor =       "F. H. Hinsley and Alan Stripp",
  title =        "Codebreakers: the inside story of {Bletchley Park}",
  publisher =    pub-OXFORD,
  address =      pub-OXFORD:adr,
  pages =        "xxi + 321",
  year =         "1993",
  ISBN =         "0-19-820327-6, 0-19-285304-X",
  ISBN-13 =      "978-0-19-820327-8, 978-0-19-285304-2",
  LCCN =         "D810.C88 M46 1993",
  bibdate =      "Thu Jan 21 14:14:26 1999",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
}

@Book{Murray:1993:MB,
  author =       "J. D. (James Dickson) Murray",
  title =        "Mathematical Biology",
  volume =       "19",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  edition =      "Second",
  pages =        "xiv + 767",
  year =         "1993",
  ISBN =         "3-540-57204-X",
  ISBN-13 =      "978-3-540-57204-6",
  LCCN =         "QH323.5 .M88 1993",
  bibdate =      "Sun Nov 20 10:15:17 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 ftp://ftp.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib;
                 melvyl.cdlib.org:210/CDL90",
  series =       "Biomathematics",
  acknowledgement = ack-nhfb,
  mynote =       "Pages 237--238: ``Such a mechanism was proposed as a
                 model for the chemical basis of morphogenesis by Turing
                 (1952) in one of the most important papers in
                 theoretical biology this century.''",
  subject =      "Biology; Mathematical models",
}

@Article{Saunders:1993:ATB,
  author =       "P. T. Saunders",
  title =        "{Alan Turing} and Biology",
  journal =      j-IEEE-ANN-HIST-COMPUT,
  volume =       "15",
  number =       "3",
  pages =        "33--??",
  month =        jul # "--" # sep,
  year =         "1993",
  CODEN =        "IAHCEX",
  ISSN =         "1058-6180",
  bibdate =      "Thu Jul 12 06:22:55 MDT 2001",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 http://www.computer.org/annals/an1993/",
  URL =          "http://dlib.computer.org/an/books/an1993/pdf/a3033.pdf;
                 http://www.computer.org/annals/an1993/a3033abs.htm",
  acknowledgement = ack-nhfb,
}

@Article{Tropp:1993:CQD,
  author =       "Henry S. Tropp",
  title =        "Comments, Queries, and Debate: {Turing}'s Visit to the
                 {United States}",
  journal =      j-IEEE-ANN-HIST-COMPUT,
  volume =       "15",
  number =       "1",
  pages =        "10--10",
  month =        jan # "--" # mar,
  year =         "1993",
  CODEN =        "IAHCEX",
  ISSN =         "1058-6180",
  bibdate =      "Thu Jul 12 06:22:54 MDT 2001",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 http://www.computer.org/annals/an1993/",
  note =         "See correction \cite{Tropp:1995:CQD}.",
  URL =          "http://dlib.computer.org/an/books/an1993/pdf/a1007.pdf",
  acknowledgement = ack-nhfb,
}

@Book{Crockett:1994:TTF,
  author =       "Larry Crockett",
  title =        "The {Turing} test and the frame problem: {AI}'s
                 mistaken understanding of intelligence",
  publisher =    "Ablex Pub. Corp.",
  address =      "Norwood, NJ, USA",
  pages =        "viii + 216",
  year =         "1994",
  ISBN =         "0-89391-926-8 (cl), 1-56750-030-7",
  ISBN-13 =      "978-0-89391-926-9 (cl), 978-1-56750-030-1",
  LCCN =         "Q341 .C76 1994",
  bibdate =      "Mon Oct 15 11:47:15 MDT 2007",
  bibsource =    "melvyl.cdlib.org:210/CDL90",
  series =       "Ablex series in artificial intelligence",
  acknowledgement = ack-nhfb,
  subject =      "Turing test; Frames (Information theory); Artificial
                 intelligence",
}

@Book{Hodges:1994:ATE,
  author =       "Andrew Hodges",
  title =        "{Alan Turing, Enigma}",
  volume =       "1",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  edition =      "Second",
  pages =        "662",
  year =         "1994",
  ISBN =         "3-211-82627-0",
  ISBN-13 =      "978-3-211-82627-0",
  LCCN =         "????",
  bibdate =      "Mon Oct 15 12:11:00 MDT 2007",
  bibsource =    "z3950.gbv.de:20011/gvk",
  series =       "Computerkultur",
  acknowledgement = ack-nhfb,
  language =     "German",
  remark =       "First edition from Verlag Kammerer und Unverzagt,
                 Berlin.",
  subject =      "Turing; Alan Mathison; Biographie",
}

@Book{Schonhage:1994:FAM,
  author =       "Arnold Sch{\"o}nhage and Andreas F. W. Grotefeld and
                 Ekkehart Vetter",
  title =        "Fast algorithms: a multitape {Turing} machine
                 implementation",
  publisher =    "B.I. Wissenschaftsverlag",
  address =      "Mannheim, Germany",
  pages =        "x + 297",
  year =         "1994",
  ISBN =         "3-411-16891-9",
  ISBN-13 =      "978-3-411-16891-0",
  LCCN =         "QA76.9.A43 S34 1994",
  bibdate =      "Mon Oct 15 11:35:47 MDT 2007",
  bibsource =    "z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
  subject =      "Computer algorithms; Turing machines; Machine theory",
}

@Article{Stewart:1994:SNT,
  author =       "Ian Stewart",
  title =        "A Subway Named {Turing}",
  journal =      j-SCI-AMER,
  volume =       "271",
  number =       "3",
  pages =        "90--??",
  month =        sep,
  year =         "1994",
  CODEN =        "SCAMAC",
  ISSN =         "0036-8733",
  bibdate =      "Thu Jan 28 14:31:51 MST 1999",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  xxnewdata =    "1998.01.30",
}

@Book{Szepietowski:1994:TMS,
  author =       "Andrzej Szepietowski",
  title =        "{Turing} machines with sublogarithmic space",
  volume =       "843",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "viii + 114",
  year =         "1994",
  ISBN =         "3-540-58355-6 (New York), 0-387-58355-6 (Berlin)",
  ISBN-13 =      "978-3-540-58355-4 (New York), 978-0-387-58355-6
                 (Berlin)",
  LCCN =         "QA267 .S987 1994",
  bibdate =      "Mon Oct 15 11:36:06 MDT 2007",
  bibsource =    "z3950.loc.gov:7090/Voyager",
  series =       "Lecture notes in computer science",
  acknowledgement = ack-nhfb,
  subject =      "Turing machines; Computational complexity",
}

@Book{Turing:1994:IM,
  author =       "Alan M. Turing",
  title =        "Intelligenza meccanica",
  volume =       "268",
  publisher =    "Bollati Boringhieri",
  address =      "Turin, Italy",
  pages =        "160",
  year =         "1994",
  ISBN =         "88-339-0880-1",
  ISBN-13 =      "978-88-339-0880-9",
  LCCN =         "????",
  MRclass =      "01A75 (03-03 03D10 68-03)",
  MRnumber =     "MR1326146 (96a:01050)",
  bibdate =      "Sat Nov 19 13:23:32 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  note =         "Translated from the 1992 English original by Gabriele
                 Lolli and Nino Dazzi with the collaboration of Luisa
                 Conte, Translation edited and with an introduction by
                 Lolli",
  series =       "Serie Scientifica [Science Series]",
  acknowledgement = ack-nhfb,
}

@Book{Goranzon:1995:JAG,
  author =       "Bo G{\"o}ranzon and Anders Karlqvist and Eva
                 Obenfeldner",
  title =        "{Jenseits aller Gewissheit: die Begegnung zwischen
                 Alan Turing und Ludwig Wittgenstein}. ({German})
                 [{Beyond} all certainty: the meeting between {Alan
                 Turing} and {Ludwig Wittgenstein}]",
  publisher =    "Haymon-Verlag",
  address =      "Innsbruck, Austria",
  pages =        "64",
  year =         "1995",
  ISBN =         "3-85218-203-4",
  ISBN-13 =      "978-3-85218-203-2",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 17:26:20 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  note =         "Translated from the Swedish and English by Eva
                 Obenfeldner. With a foreword by Allan Janik.",
  acknowledgement = ack-nhfb,
  subject-dates = "Turing, Alan Mathison, 1912--1954 --- Drama;
                 Wittgenstein, Ludwig, 1889--1951 --- Drama",
}

@Book{Herken:1995:UTM,
  editor =       "Rolf Herken",
  title =        "The {Universal Turing Machine}: a half-century
                 survey",
  volume =       "2",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  edition =      "Second",
  pages =        "xvi + 611",
  year =         "1995",
  ISBN =         "3-211-82637-8 (paperback), 3-211-82628-9",
  ISBN-13 =      "978-3-211-82637-9 (paperback), 978-3-211-82628-7",
  ISSN =         "0946-9613",
  LCCN =         "QA267 .U55 1995",
  bibdate =      "Sat Nov 19 12:33:18 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  series =       "Computerkultur",
  acknowledgement = ack-nhfb,
  subject =      "Turing machines",
}

@Article{Tropp:1995:CQD,
  author =       "Henry S. Tropp",
  title =        "Comments, Queries, and Debate: Correction: {Turing}'s
                 Visit to the {United States}",
  journal =      j-IEEE-ANN-HIST-COMPUT,
  volume =       "17",
  number =       "3",
  pages =        "6--6",
  month =        "Fall",
  year =         "1995",
  CODEN =        "IAHCEX",
  ISSN =         "1058-6180",
  bibdate =      "Thu Jul 12 08:14:43 MDT 2001",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  note =         "See \cite{Tropp:1993:CQD}.",
  URL =          "http://ieeexplore.ieee.org/iel4/85/8988/00397054.pdf",
  acknowledgement = ack-nhfb,
}

@Book{Turing:1995:MT,
  author =       "Alan Turing and Jean-Yves Girard",
  title =        "La machine de {Turing}",
  publisher =    "Seuil",
  address =      "Paris, France",
  pages =        "174",
  year =         "1995",
  ISBN =         "2-02-013571-X",
  ISBN-13 =      "978-2-02-013571-9",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 15:15:36 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  note =         "Translated from English by Julien Basch et Patrice
                 Blanchard.",
  acknowledgement = ack-nhfb,
}

@Article{Zabell:1995:ATC,
  author =       "S. L. Zabell",
  title =        "{Alan Turing} and the central limit theorem",
  journal =      j-AMER-MATH-MONTHLY,
  volume =       "102",
  number =       "6",
  pages =        "483--494",
  month =        jun # "\slash " # jul,
  year =         "1995",
  CODEN =        "AMMYAE",
  ISSN =         "0002-9890",
  MRclass =      "01A60 (01A70 60-03)",
  MRnumber =     "96b:01033",
  bibdate =      "Wed Dec 3 17:17:33 MST 1997",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
}

@Book{Anonymous:1996:QIO,
  author =       "Anonymous",
  title =        "Qui a invent{\'e} l'ordinateur?: grands
                 ing{\'e}nieurs: {Alan Turing}, {John Mauchly}, {John P.
                 Eckert}, {John Atanasoff}, {John von Neumann}.
                 ({French}) [{Who} invented the computer? {Great}
                 engineers: {Alan Turing}, {John Mauchly}, {John P.
                 Eckert}, {John Atanasoff}, {John von Neumann}]",
  volume =       "36",
  publisher =    "Excelsior",
  address =      "Paris, France",
  pages =        "96",
  year =         "1996",
  ISBN =         "????",
  ISBN-13 =      "????",
  ISSN =         "1157-4887",
  LCCN =         "????",
  bibdate =      "Thu Jun 09 06:27:05 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  price =        "US\$",
  series =       "Les Cahiers de Science et vie (Paris)",
  acknowledgement = ack-nhfb,
  subject-dates = "Turing, Alan Mathison (1912--1954)\\
                 Mauchly, John William (1907--1980)\\
                 Eckert, John Presper (1919--1995)\\
                 Atanasoff, John Vincent (1903--1995)\\
                 Von Neumann, John (1903--1957)\\
                 Ordinateurs -- Histoire",
}

@Book{Clark:1996:LAT,
  editor =       "Andy Clark and P. J. R. (Peter J. R.) Millican",
  title =        "The legacy of {Alan Turing}: Connectionism, Concepts,
                 and Folk Psychology",
  volume =       "2",
  publisher =    pub-CLARENDON-PRESS,
  address =      pub-CLARENDON-PRESS:adr,
  pages =        "ix + 281",
  year =         "1996",
  ISBN =         "0-19-823594-1",
  ISBN-13 =      "978-0-19-823594-1",
  LCCN =         "Q335.5 .L44 1996",
  bibdate =      "Sat Nov 19 12:33:18 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  series =       "Mind Association occasional series",
  URL =          "http://www.oup.co.uk/isbn/0-19-823594-1",
  acknowledgement = ack-nhfb,
  subject =      "Artificial intelligence",
}

@Book{Gottfried:1996:ATA,
  author =       "Ted Gottfried",
  title =        "{Alan Turing}: the architect of the computer age",
  publisher =    "Franklin Watts",
  address =      "New York, NY, USA and London, UK",
  pages =        "128 + 16",
  year =         "1996",
  ISBN =         "0-531-11287-X",
  ISBN-13 =      "978-0-531-11287-8",
  LCCN =         "QA29.T8 G68 1996",
  bibdate =      "Sat Nov 19 14:52:30 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  series =       "An impact biography",
  acknowledgement = ack-nhfb,
  subject =      "Turing, Alan Mathison; Juvenile literature;
                 Mathematicians; Great Britain; Biography; Juvenile
                 literature",
  subject-dates = "1912--1954",
}

@Article{Kidwell:1996:CWM,
  author =       "P. Kidwell",
  title =        "Collected works of {A. M. Turing} --- morphogenesis",
  journal =      j-IEEE-ANN-HIST-COMPUT,
  volume =       "18",
  number =       "4",
  pages =        "69",
  month =        oct # "--" # dec,
  year =         "1996",
  CODEN =        "IAHCEX",
  ISSN =         "1058-6180",
  bibdate =      "Thu Jul 12 08:14:44 MDT 2001",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://ieeexplore.ieee.org/iel4/85/11673/00539923.pdf",
  acknowledgement = ack-nhfb,
}

@Book{Laplante:1996:GPC,
  editor =       "Phillip Laplante",
  booktitle =    "Great papers in computer science",
  title =        "Great papers in computer science",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "iv + 717",
  year =         "1996",
  ISBN =         "0-314-06365-X (paperback), 0-7803-1112-4 (hardcover)",
  ISBN-13 =      "978-0-314-06365-6 (paperback), 978-0-7803-1112-1
                 (hardcover)",
  LCCN =         "QA76 .G686 1996",
  bibdate =      "Mon Jun 30 09:07:12 2003",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  price =        "US\$23.95",
  URL =          "http://bit.csc.lsu.edu/~chen/GreatPapers.html",
  acknowledgement = ack-nhfb,
  tableofcontents = "1.1 The Complexity of Theorem Proving Procedures 2
                 By Stephen A. Cook \\
                 \\
                 1.2 On the Conceptual Complexity of Algorithms 10 \\
                 By J. Hartmanis and R. E. Stearns \\
                 \\
                 1.3 Quicksort 31 \\
                 By C. A. R. Hoare \\
                 \\
                 1.4 Finite Automata and Their Decision Problems 40 By
                 M. O. Rabin and D. Scott \\
                 \\
                 Section 2 Programming Languages \\
                 \\
                 2.1 The FORTRAN Automatic Coding System 62 \\
                 By J. W. Backus, et al. \\
                 \\
                 2.2 An Axiomatic Basis for Computer Programming 80 By
                 C. A. R. Hoare \\
                 \\
                 2.3 An Axiomatic Definition of the Programming Language
                 Pascal 90 \\
                 By C. A. R. Hoare and N. Wirth \\
                 \\
                 2.4 The Contour Model of Block Structured Processes 111
                 By John B. Johnston \\
                 \\
                 2.5 On the Translation of Languages from Left to Right
                 150 \\
                 By Donald E. Knuth \\
                 \\
                 2.6 Revised Report on the Algorithmic Language ALGOL 60
                 174 \\
                 By Peter Naur, et al. \\
                 \\
                 Section 3 Architecture \\
                 \\
                 3.1 First Draft of a Report on the EDVAC 208 \\
                 By John von Neumann \\
                 \\
                 3.2 A Symbolic Analysis of Relay and Switching Circuits
                 219 \\
                 By Claude E. Shannon \\
                 \\
                 3.3 Alto: A Personal Computer 246 \\
                 By C. P. Thacker, E. M. McCreight, B. W. Lampson, \\
                 R. F. Sproull, and D. R Boggs \\
                 \\
                 3.4 The Best Way to Design an Automatic Calculating
                 Machine 279 \\
                 By M. V. Wilkes \\
                 \\
                 Section 4 Numerical and Scientific Computing \\
                 \\
                 4.1 On Computable Numbers, with an Application 287 to
                 the Entscheidungsproblem \\
                 By A. M. Turing \\
                 \\
                 4.2 On Computable Numbers, with an Application 317 to
                 the Entscheidungsproblem. A Correction \\
                 By A. M. Turing \\
                 \\
                 Section 5 Operating Systems \\
                 \\
                 5.1 Cooperating Sequential Processes 321 \\
                 By Edsger W. Dijkstra \\
                 \\
                 5.2 Solution of a Problem in Concurrent Process Control
                 378 \\
                 By Edsger W. Dijkstra \\
                 \\
                 5.3 A Formal System for Information Retrieval from
                 Files 381 \\
                 By David Hsiao and Frank Harary \\
                 \\
                 Section 6 Software Methodology and Engineering \\
                 \\
                 6.1 No Silver Bullet ? Essence and Accidents of 397
                 Software Engineering \\
                 By Frederick P. Brooks \\
                 \\
                 6.2 Guarded Commands, Nondeterminancy, and 412 Formal
                 Derivation of Programs \\
                 By Edsger W. Dijkstra \\
                 \\
                 6.3 Go To Statement Considered Harmful 420 \\
                 By Edsger W. Dijkstra \\
                 \\
                 6.4 Proof of Correctness of Data Representations 423 By
                 C. A. R. Hoare \\
                 \\
                 6.5 On the Criteria to be Used in Decomposing Systems
                 433 \\
                 into Modules \\
                 By David L. Parnas \\
                 \\
                 6.6 A Rational Design Process: How and Why to Fake It
                 442 \\
                 By David L. Parnas and Paul C. Clements \\
                 \\
                 6.7 Global Variables Considered Harmful 452 \\
                 By W. Wulf and M. Shaw \\
                 \\
                 Section 7 Databases \\
                 \\
                 7.1 The Theory of Joins in Relational Databases 460 By
                 A. V. Aho, C. Beeri, and J. D. Ullman \\
                 \\
                 7.2 Organization and Maintenance of Large Ordered
                 Indexes 478 \\
                 By R. Bayer and E. McCreight \\
                 \\
                 7.3 The Entity Relationship Model - Toward A Unified
                 View of Data 494 \\
                 By Peter Pin-Shan Chen \\
                 \\
                 7.4 A Relational Model of Data for Large Shared Data
                 Banks 519 \\
                 By E. F. Codd \\
                 Section 8 Artificial Intelligence and Robotics \\
                 \\
                 8.1 Steps Toward Artificial Intelligence 541 \\
                 By Marvin L. Minsky \\
                 \\
                 8.2 Matter, Mind, and Models 580 \\
                 By Marvin L. Minsky \\
                 \\
                 8.3 Fusion, Propagation, and Structuring in Belief
                 Networks 586 \\
                 By Judea Pearl \\
                 \\
                 8.4 Computing Machinery and intelligence 628 \\
                 By A. M. Turing \\
                 Section 9 Human-Computer Communications \\
                 \\
                 9.1 Programming Considered as a Human Activity 648 By
                 Edsger W. Dijkstra \\
                 \\
                 Section 10 History \\
                 \\
                 10.1 Programming in America in the 1950s --- 665 \\
                 Some Personal Impressions \\
                 By John Backus \\
                 \\
                 10.2 The Evolution of Data-Base Management Systems 663
                 By James P. Fry and Edgar H. Sibley \\
                 \\
                 10.3 The Evolution of the UNIX Time-Sharing System 707
                 By Dennis M. Ritchie",
}

@Book{Millican:1996:LAT,
  editor =       "P. J. R. (Peter J. R.) Millican and Andy Clark",
  title =        "The legacy of {Alan Turing}: Machines and Thought",
  volume =       "1",
  publisher =    pub-CLARENDON-PRESS,
  address =      pub-CLARENDON-PRESS:adr,
  pages =        "x + 297",
  year =         "1996",
  ISBN =         "0-19-823593-3",
  ISBN-13 =      "978-0-19-823593-4",
  LCCN =         "Q335.5 .L44 1996",
  bibdate =      "Sat Nov 19 12:33:18 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  series =       "Mind Association occasional series",
  acknowledgement = ack-nhfb,
  subject =      "Artificial intelligence",
}

@Article{Turing:1996:IMH,
  author =       "A. M. Turing",
  title =        "Intelligent machinery, a heretical theory",
  journal =      j-PHILOS-MATH-3,
  volume =       "4",
  number =       "3",
  pages =        "256--260",
  year =         "1996",
  CODEN =        "????",
  ISSN =         "0031-8019",
  MRclass =      "03A05 (00A30 03D10 68T01)",
  MRnumber =     "MR1406760 (97j:03011)",
  MRreviewer =   "Stewart Shapiro",
  bibdate =      "Sat Nov 19 13:23:32 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Philosophia Mathematica. Philosophy of Mathematics,
                 its Learning, and its Applications. Series III",
  remark =       "A posthumous publication, courtesy of the Turing
                 estate and Turing's legal executor, P. N. Furbank.",
  ZMnumber =     "0881.03003",
}

@Article{Benda:1997:TLI,
  author =       "M. Benda",
  title =        "{Turing}'s legacy for the {Internet}",
  journal =      j-IEEE-INTERNET-COMPUT,
  volume =       "1",
  number =       "6",
  pages =        "75--77",
  month =        nov # "\slash " # dec,
  year =         "1997",
  CODEN =        "IICOFX",
  DOI =          "http://dx.doi.org/10.1109/4236.643940",
  ISSN =         "1089-7801",
  bibdate =      "Sat Nov 19 18:17:38 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  abstract =     "In 1936, when the world was computerless, Alan Turing
                 invented the first virtual machine, now called the
                 Universal Turing Machine \cite{Turing:1936:CNA}.). This
                 concept provided a common ground for a theoretical
                 exploration of the computable. Today, in a world with
                 millions of computers linked to form a global computing
                 network, we are again contemplating the virtues of
                 virtual machines. Will a virtual machine, executing on
                 millions of physical computing devices, be as useful in
                 computing practice as Turing's machine is in computer
                 theory?",
  acknowledgement = ack-nhfb,
}

@Misc{Hodges:1997:ATHa,
  author =       "A. Hodges",
  title =        "The {Alan Turing} home page",
  howpublished = "World-Wide Web site.",
  year =         "1997",
  bibdate =      "Sat Nov 19 17:44:19 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://www.turing.org.uk/turing/",
  abstract =     "Features a chronology of Turing's life, a brief
                 biography, photos, facts, and a directory of related
                 online resources. Offers information on Turing's family
                 origins and childhood, the Turing Machine, his
                 codebreaking work in World War II, the Turing Test, the
                 emergence and failure of his electronic computer plan,
                 and his death.",
  acknowledgement = ack-nhfb,
  keywords =     "Alan Turing; artificial intelligence; ciphers; codes;
                 computer; cracking; enigma; gay; homosexual; inventor;
                 machine; mathematician; philosophy; Second World War;
                 Turing",
}

@Misc{Hodges:1997:ATHb,
  author =       "Andrew Hodges",
  title =        "{Alan Turing} Home Page",
  howpublished = "World-Wide Web site.",
  year =         "1997",
  bibdate =      "Sat Nov 19 17:19:25 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://www.wadham.ox.ac.uk/~ahodges/Turing.html",
  abstract =     "Features a collection of resources pertaining to
                 pioneering British computer scientist Alan Turing
                 (1912--1954). Posts a chronology of Turing's life, a
                 brief biography, photos, facts, and a directory of
                 related online resources. Offers information on
                 Turing's family origins and childhood, the Turing
                 Machine, his codebreaking work in World War II, the
                 Turing Test, the emergence and failure of his
                 electronic computer plan, and his death. Provides
                 access to the site's mirror URL in Chicago and to the
                 WWW Virtual Museum of Computing home page.",
  acknowledgement = ack-nhfb,
}

@Book{Hodges:1997:TNP,
  author =       "Andrew Hodges",
  title =        "{Turing}: a natural philosopher",
  volume =       "III",
  publisher =    "Phoenix",
  address =      "London, UK",
  pages =        "58",
  year =         "1997",
  ISBN =         "0-7538-0192-2",
  ISBN-13 =      "978-0-7538-0192-5",
  LCCN =         "QA29.T8 H62993 1997",
  bibdate =      "Mon Oct 15 11:53:07 MDT 2007",
  bibsource =    "melvyl.cdlib.org:210/CDL90",
  series =       "The great philosophers",
  acknowledgement = ack-nhfb,
  subject =      "Turing, Alan Mathison; Artificial intelligence;
                 Mathematicians; Great Britain; Biography",
  subject-dates = "1912--1954",
}

@Book{Jastrow:1997:GGE,
  author =       "Robert Jastrow and Alan M. Turing and John Searle",
  title =        "Giza garuna eta ordenadorea: (garunaren eboluzioaz)",
  publisher =    "Gaiak",
  address =      "Donostia, Poland",
  pages =        "292",
  year =         "1997",
  ISBN =         "84-87203-98-1",
  ISBN-13 =      "978-84-87203-98-5",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 15:27:28 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  language =     "Polish",
}

@Misc{Lindsay:1997:BC,
  author =       "Charles Lindsay and Derek Jacobi and Hugh Whitemore
                 and Andrew Hodges",
  title =        "Breaking the code",
  publisher =    "Anchor Bay Entertainment",
  address =      "Troy, MI, USA",
  year =         "1997",
  ISBN =         "1-56442-662-9",
  ISBN-13 =      "978-1-56442-662-8",
  LCCN =         "PN1997 .B744 1997",
  bibdate =      "Mon Nov 4 07:46:57 MST 2002",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  note =         "Based on the play of the same title by Hugh Whitemore,
                 and on the book, ``Alan Turing: the enigma'', by Andrew
                 Hodges. Originally broadcast as an episode of the PBS
                 television series, Mobil masterpiece theatre Credits:
                 Director of photography, Robin Vidgeon ; editor,
                 Laurence Mery-Clark ; introduced by Russell Baker
                 Performers: Derek Jacobi, Alun Armstrong, Richard
                 Johnson, Harold Pinter, Amanda Root, Prunella Scales
                 The story of Alan Turing, British mathematical genius
                 and designer of the computer that broke the German
                 Enigma code during World War II, whose admittance to
                 homosexuality at a time when it was illegal presented
                 problems for him, for his family, for his colleagues,
                 and for the State's preoccupation with national
                 security.",
  acknowledgement = ack-nhfb,
  keywords =     "biographies; electronic digital computers --- drama;
                 features; gay men --- Great Britain --- drama; gifted
                 persons --- Great Britain drama; mathematicians ---
                 Great Britain drama; Turing, Alan Mathison, 1912--1954;
                 Turing, Alan Mathison, 1912--1954 --- drama; World War,
                 1939--1945 --- cryptography --- drama; World War,
                 1939--1945 --- Great Britain --- drama",
}

@Misc{Robinson:1997:GIP,
  author =       "Daniel N. Robinson",
  title =        "The great ideas of philosophy: Lecture 49: {Breaking}
                 the code, {Alan Turing} in the forest of wisdom",
  howpublished = "Lecture on audio cassette.",
  publisher =    "Teaching Company",
  address =      "Springfield, VA, USA",
  year =         "1997",
  bibdate =      "Sat Nov 19 17:09:57 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
}

@Misc{Barnette:1998:AT,
  author =       "Paul J. {Barnette, Jr.}",
  title =        "{Alan Turing} (1912--1954)",
  howpublished = "World-Wide Web site.",
  year =         "1998",
  bibdate =      "Sat Nov 19 17:38:14 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://www.geocities.com/Athens/Acropolis/6681/turing.htm",
  abstract =     "Offers information on Alan Mathison Turing
                 (1912-1954), a British mathematician who did pioneering
                 work in computer theory. Includes a biography of Turing
                 and information on ordering related books. Lists his
                 major works and links to related sites.",
  acknowledgement = ack-nhfb,
}

@Book{Bloor:1998:GMA,
  author =       "Robin Bloor",
  title =        "The gene machine: an analysis of a {Universal Turing
                 Machine}",
  publisher =    "Bloor Research",
  address =      "Milton Keynes, UK",
  pages =        "iv + 131",
  year =         "1998",
  ISBN =         "1-874160-31-7",
  ISBN-13 =      "978-1-874160-31-1",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 18:32:58 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  subject =      "Turing machines; Electronic digital computers: design
                 and construction",
}

@Book{Deavours:1998:SCH,
  editor =       "Cipher A. Deavours and David Kahn and Louis Kruh and
                 Greg Mellen and Brian J. Winkel",
  title =        "Selections From {Cryptologia}: History, People, And
                 Technology",
  publisher =    pub-ARTECH,
  address =      pub-ARTECH:adr,
  pages =        "vii + 552",
  month =        feb,
  year =         "1998",
  ISBN =         "0-89006-862-3",
  ISBN-13 =      "978-0-89006-862-5",
  LCCN =         "Z103.S45 1998",
  bibdate =      "Tue Dec 01 08:29:26 1998",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  note =         "Third volume of selected papers from issues of
                 Cryptologia.",
  price =        "US\$78.20",
  series =       "The Artech House telecommunications library",
  URL =          "http://www.opengroup.com/open/cbbooks/089/0890068623.shtml",
  acknowledgement = ack-nhfb,
}

@Book{Lassegue:1998:T,
  author =       "Jean Lass{\`e}gue",
  title =        "{Turing}",
  publisher =    "Belles Lettres",
  address =      "Paris, France",
  pages =        "210",
  year =         "1998",
  ISBN =         "2-251-76014-8",
  ISBN-13 =      "978-2-251-76014-8",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 15:14:13 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  language =     "French",
}

@Article{Copeland:1999:ATF,
  author =       "B. Jack Copeland and Diane Proudfoot",
  title =        "{Alan Turing}'s Forgotten Ideas in Computer Science",
  journal =      j-SCI-AMER,
  volume =       "280",
  number =       "4",
  pages =        "98--??",
  month =        apr,
  year =         "1999",
  CODEN =        "SCAMAC",
  ISSN =         "0036-8733",
  bibdate =      "Mon Nov 13 06:19:18 MST 2000",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 http://www.sciam.com/1999/0409issue/0409quicksummary.html;
                 OCLC Contents1st database",
  abstract =     "Neural networks and hypercomputation are hot ideas for
                 transcending the limits of traditional algorithmic
                 computing. What few realize, however, is that both
                 concepts were anticipated in detail decades ago by Alan
                 Turing, the British genius better remembered for laying
                 the groundwork for artificial intelligence.",
  acknowledgement = ack-nhfb,
}

@PhdThesis{Goutefangea:1999:ATP,
  author =       "Patrick Goutefangea",
  title =        "{Alan Turing}: la ``pens{\'e}'' de la machine et
                 l'id{\'e}e de pratique. ({French}) [{Alan Turing}:
                 machine thought and practical idea]",
  type =         "Thesis (doctoral)",
  school =       "D{\'e}partement de philosophie, Universit{\'e} de
                 Nantes",
  address =      "Nantes, France",
  pages =        "243",
  year =         "1999",
  LCCN =         "QA29.T8",
  bibdate =      "Sat Nov 19 17:16:19 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  note =         "Published in 2001 by Presses universitaires du
                 Septentrion, Villeneuve d'Ascq, France.",
  acknowledgement = ack-nhfb,
  language =     "French",
}

@Book{Hodges:1999:T,
  author =       "Andrew Hodges",
  title =        "{Turing}",
  volume =       "3",
  publisher =    pub-ROUTLEDGE,
  address =      pub-ROUTLEDGE:adr,
  pages =        "58",
  year =         "1999",
  ISBN =         "0-415-92378-6",
  ISBN-13 =      "978-0-415-92378-1",
  LCCN =         "QA29.T8 H632 1999",
  bibdate =      "Mon Oct 15 11:35:47 MDT 2007",
  bibsource =    "z3950.loc.gov:7090/Voyager",
  series =       "The great philosophers",
  acknowledgement = ack-nhfb,
  remark =       "Originally published: London : Phoenix, 1997.",
  subject =      "Turing, Alan Mathison; Artificial intelligence;
                 Mathematicians; Great Britain; Biography",
  subject-dates = "1912--1954",
}

@Book{Knauff:1999:CCM,
  author =       "Bob Knauff and Isaac Asimov and Harry Blairy",
  title =        "The colorful characters of mathematics",
  publisher =    "Carolina Mathematics",
  address =      "Burlington, NC, USA",
  year =         "1999",
  ISBN =         "????",
  ISBN-13 =      "????",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 17:33:22 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  note =         "Set of posters on mathematicians through history, each
                 with a portrait and biographical information.",
  acknowledgement = ack-nhfb,
  tableofcontents = "His life was a riddle / Diophantus; How algebra got
                 its name / al-Khwarizmi; Wisdom of the East / Chin
                 Chi-shao; Dueling with equations / Niccol{\`o}; Truly
                 marvelous demonstration / Pierre de Fermat; Early
                 American genius / Benjamin Banneker; Making a name for
                 himself / Carl Friedrich Gauss; Star-crossed prodigy /
                 Evariste Galois; Mathematician turned storyteller /
                 Charles Dodgson (Lewis Carroll); Higher education the
                 hard way / Sonya Kovalevsky; Infinite controversy /
                 Georg Cantor; Twenty-three problems / David Hilbert;
                 Magician with numbers / Srinivasa Ramanujan; Cracking
                 the code / Alan M. Turing; Man who never was / Nicolas
                 Bourbaki.",
}

@Book{Strathern:1999:TCB,
  author =       "Paul Strathern",
  title =        "{Turing} and the computer: The {Big Idea}",
  publisher =    pub-ANCHOR,
  address =      pub-ANCHOR:adr,
  pages =        "105",
  year =         "1999",
  ISBN =         "0-385-49243-X (paperback)",
  ISBN-13 =      "978-0-385-49243-0 (paperback)",
  LCCN =         "QA76.17 .S77 1999",
  bibdate =      "Sat Dec 17 17:34:37 MST 2005",
  bibsource =    "z3950.loc.gov:7090/Voyager",
  series =       "The big idea",
  acknowledgement = ack-nhfb,
  subject =      "Computers; History; Turing machines",
}

@Book{Turing:1999:MLM,
  author =       "A. Turing and J. von Neumann",
  title =        "Mozhet li mashina myslit'?. ({Russian}) [{Can} the
                 machine think?]",
  publisher =    "Nauchno-Izdatel'skij Tsentr ``Regulyarnaya i
                 Khaoticheskaya Dinamika''",
  address =      "Izhevsk, Russia",
  pages =        "104",
  year =         "1999",
  ISBN =         "????",
  ISBN-13 =      "????",
  LCCN =         "????",
  bibdate =      "Mon Jun 06 19:17:03 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 ftp://ftp.math.utah.edu/pub/bibnet/authors/v/von-neumann-john.bib",
  acknowledgement = ack-nhfb,
  ZMnumber =     "01397815",
}

@TechReport{Turing:1999:TTE,
  author =       "Alan Turing",
  title =        "{Turing}'s Treatise on {Enigma}",
  institution =  "CERN",
  address =      "Geneva, Switzerland",
  year =         "1999",
  bibdate =      "Mon Aug 30 18:03:48 1999",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 ftp://ftp.math.utah.edu/pub/tex/bib/cryptography.bib",
  note =         "This document is retyped from the original (undated??)
                 Turing typescript by the editors Ralph Erskine, Philip
                 Marks and Frode Weierud. Chapters 1, 2, and 6 (of 8)
                 are available; the remainder are in preparation.",
  URL =          "http://home.cern.ch/~frode/crypto/Turing/index.html",
  acknowledgement = ack-nhfb,
}

@Misc{Anonymous:2000:AMT,
  author =       "Anonymous",
  title =        "{Alan Mathison Turing}",
  howpublished = "World-Wide Web site.",
  year =         "2000",
  bibdate =      "Sat Nov 19 17:47:17 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Turing.html",
  abstract =     "Features a biographical sketch of the English
                 mathematician and logician Alan Mathison Turing
                 (1912-1954), presented by the School of Mathematics and
                 Statistics of the University of Saint Andrews in
                 Scotland. Discusses Turing's pioneer work in computer
                 theory and his theoretical study of morphogenesis.",
  acknowledgement = ack-nhfb,
}

@Book{Davis:2000:UCR,
  author =       "Martin Davis",
  title =        "The universal computer: the road from {Leibniz} to
                 {Turing}",
  publisher =    pub-NORTON,
  address =      pub-NORTON:adr,
  pages =        "xii + 257",
  year =         "2000",
  ISBN =         "0-393-04785-7",
  ISBN-13 =      "978-0-393-04785-1",
  LCCN =         "QA76.17. D38 2000; QA76.17 .D38 2000",
  bibdate =      "Mon Oct 15 11:54:46 MDT 2007",
  bibsource =    "melvyl.cdlib.org:210/CDL90",
  acknowledgement = ack-nhfb,
  subject =      "Electronic digital computers; History",
  tableofcontents = "Leibniz's dream \\
                 Boole turns logic into algebra \\
                 Frege: from breakthrough to despair \\
                 Cantor: detour through infinity \\
                 Hilbert to the rescue \\
                 G{\"o}del upsets the applecart \\
                 Turing conceives of the all-purpose computer \\
                 Making the first universal computers \\
                 Beyond Leibniz's dream.",
}

@Book{Hodges:2000:ATA,
  author =       "Andrew Hodges and Kimmo Pietil{\"a}inen",
  title =        "{Alan Turing}, arvoitus. ({Finnish}) [{Alan Turing},
                 enigma]",
  publisher =    "Terra cognita",
  address =      "Helsinki, Finland",
  pages =        "604 + 8",
  year =         "2000",
  ISBN =         "952-5202-14-3",
  ISBN-13 =      "978-952-5202-14-4",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 17:40:52 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  language =     "Finnish",
}

@Book{Hodges:2000:ATE,
  author =       "Andrew Hodges",
  title =        "{Alan Turing}: the enigma",
  publisher =    "Walker",
  address =      "New York, NY, USA",
  pages =        "xvii + 587 + 8",
  year =         "2000",
  ISBN =         "0-8027-7580-2 (paperback)",
  ISBN-13 =      "978-0-8027-7580-1 (paperback)",
  LCCN =         "QA29.T8 H63 2000",
  bibdate =      "Sat Nov 19 16:22:40 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
  remark =       "Previously published: New York: Simon and Schuster,
                 1983. With new introduction.",
  subject =      "Turing, Alan Mathison; Mathematicians; Great
                 Britain; Biography",
  subject-dates = "1912\\
                1954",
}

@Book{Raphael:2000:GP,
  editor =       "Frederic Raphael and Ray Monk",
  title =        "The great philosophers",
  publisher =    pub-ROUTLEDGE,
  address =      pub-ROUTLEDGE:adr,
  pages =        "469",
  year =         "2000",
  ISBN =         "0-415-92817-6",
  ISBN-13 =      "978-0-415-92817-5",
  LCCN =         "B29 .G677 2000",
  bibdate =      "Sat Nov 19 12:33:18 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
  remark =       "First published in Great Britain in 2000 by Weidenfeld
                 and Nicolson. The twelve essays in this collection were
                 originally published, separately, in the ongoing series
                 of monographs entitled ``The great philosophers'' ---
                 Socrates / by Anthony Gottlieb --- Plato / by Bernard
                 Williams --- Descartes / by John Cottingham --- Spinoza
                 / by Roger Scruton --- Berkeley / by David Berman ---
                 Hume / by Anthony Quinton --- Marx / by Terry Eagleton
                 --- Russell / by Ray Monk --- Heidegger / by Jonathan
                 R{\'e}e --- Wittgenstein / by Peter Hacker --- Popper /
                 by Frederic Raphael --- Turing / by Andrew Hodges.",
  subject =      "Philosophy; Philosophy; History; Philosophers",
}

@Article{Randell:2000:TML,
  author =       "Brian Randell",
  title =        "{Turing Memorial Lecture}: Facing Up to Faults",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "2",
  pages =        "95--106",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri Apr 28 16:20:55 2000",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_02/430095.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_02/430095.pdf;
                 http://www.cs.ncl.ac.uk/research/pubs/articles/papers/245.pdf",
  abstract =     "As individuals, organisations and indeed the world at
                 large have become more dependent on computer-based
                 systems, so there has been an ever-growing amount of
                 research into means for improving the dependability of
                 these systems. In particular there has been much work
                 on trying to gain increased understanding of the many
                 and varied types of faults that need to be prevented or
                 tolerated in order to reduce the probability and
                 severity of system failures. In this talk I discuss the
                 assumptions that are often made by computing system
                 designers regarding faults, survey a number of
                 continuing issues related to fault tolerance, and
                 identify some of the latest challenges facing
                 researchers in this arena.",
  acknowledgement = ack-nhfb,
  remark =       "Lecture presented 31 January 2000.",
}

@Book{Agar:2001:TUM,
  author =       "Jon Agar",
  title =        "{Turing} and the universal machine: the making of the
                 modern computer",
  publisher =    "Icon",
  address =      "Cambridge, UK",
  pages =        "153",
  year =         "2001",
  ISBN =         "1-84046-250-7",
  ISBN-13 =      "978-1-84046-250-0",
  LCCN =         "QA76.2.T87 A43 2001",
  bibdate =      "Sat Nov 19 18:28:11 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 library.ox.ac.uk:210/ADVANCE",
  series =       "Revolutions in science",
  acknowledgement = ack-nhfb,
  subject =      "Turing, Alan Mathison; Babbage, Charles; Computers;
                 History",
  subject-dates = "1912--1954; 1791--1871",
}

@Article{Castelfranchi:2001:AAA,
  author =       "Cristiano Castelfranchi",
  title =        "Again on Agents' Autonomy: {A} Homage to {Alan
                 Turing}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "1986",
  pages =        "339--??",
  year =         "2001",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743",
  bibdate =      "Sat Feb 2 13:03:06 MST 2002",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 http://link.springer-ny.com/link/service/series/0558/tocs/t1986.htm",
  URL =          "http://link.springer-ny.com/link/service/series/0558/bibs/1986/19860339.htm;
                 http://link.springer-ny.com/link/service/series/0558/papers/1986/19860339.pdf;
                 ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
}

@Misc{Copeland:2001:ANT,
  author =       "Jack Copeland and Diane Proudfoot",
  title =        "{AlanTuring.net}: the {Turing Archive for the History
                 of Computing}",
  howpublished = "World-Wide Web site.",
  year =         "2001",
  bibdate =      "Sat Nov 19 17:07:20 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://www.alanturing.net/",
  abstract =     "Provides ``digital facsimiles of original documents by
                 Turing and other pioneers of computing plus articles
                 about Turing and his work, including artificial
                 intelligence.''",
  acknowledgement = ack-nhfb,
  tableofcontents = "Turing's automatic computing engine --- The DEUCE
                 computer --- The post office MOSAIC computer --- The
                 Manchester computer --- Codebreaking in World War II
                 --- Reference articles on Turing's work.",
}

@Misc{Donofrio:2001:BIT,
  author =       "Nick Donofrio",
  title =        "{BCS / IEE Turing Lecture 2001}: Technology,
                 Innovation and the New Economy",
  howpublished = "World-Wide Web site.",
  year =         "2001",
  bibdate =      "Mon Nov 21 14:21:32 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://www.bcs.org/BCS/Awards/Events/TuringLecture/turing2001.htm",
  acknowledgement = ack-nhfb,
  remark =       "Web site includes pointer to video recording of the
                 lecture, and also to the lecture slides.",
}

@Article{Donofrio:2001:FM,
  author =       "Nick Donofrio",
  title =        "{Turing Memorial Lecture}",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "2",
  pages =        "67--74",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Jul 9 09:29:40 MDT 2001",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/440067.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/freepdf/440067.pdf;
                 http://comjnl.oxfordjournals.org/cgi/reprint/44/2/67;;
                 ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
}

@Article{Gladwin:2001:ATV,
  author =       "Lee A. Gladwin",
  title =        "{Alan Turing}'s Visit to {Dayton}",
  journal =      j-CRYPTOLOGIA,
  volume =       "25",
  number =       "1",
  pages =        "11--17",
  month =        jan,
  year =         "2001",
  CODEN =        "CRYPE6",
  ISSN =         "0161-1194",
  bibdate =      "Fri Mar 15 09:01:29 MST 2002",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 http://www.dean.usma.edu/math/pubs/cryptologia/; OCLC
                 Article1st database",
  acknowledgement = ack-nhfb,
  romanvolume =  "XXV",
}

@Book{Hodges:2001:ATO,
  author =       "Andrew Hodges",
  title =        "{Alan Turing} ou l'{\'e}nigme de l'intelligence.
                 ({French}) [{Alan Turing}, or the enigma of
                 intelligence]",
  publisher =    "Payot",
  address =      "Lausanne, Switzerland",
  pages =        "????",
  year =         "2001",
  ISBN =         "????",
  ISBN-13 =      "????",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 15:12:46 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  language =     "French",
}

@Book{Prager:2001:T,
  author =       "John Prager",
  title =        "On {Turing}",
  publisher =    "Wadsworth/Thomson Learning",
  address =      "Belmont, CA, USA",
  pages =        "83",
  year =         "2001",
  ISBN =         "0-534-58364-4",
  ISBN-13 =      "978-0-534-58364-4",
  LCCN =         "QA29.T8 P73 2001",
  bibdate =      "Mon Oct 15 11:36:25 MDT 2007",
  bibsource =    "z3950.loc.gov:7090/Voyager",
  series =       "Wadsworth philosophers series",
  acknowledgement = ack-nhfb,
  subject =      "Turing, Alan Mathison; Mathematics; Philosophy;
                 Computer science",
  subject-dates = "1912--1954",
}

@Book{Turing:2001:CWM,
  author =       "A. M. Turing",
  title =        "Collected works of {A. M. Turing}. {Mathematical}
                 logic",
  publisher =    pub-ELSEVIER,
  address =      pub-ELSEVIER:adr,
  pages =        "xii + 293",
  year =         "2001",
  ISBN =         "????",
  ISBN-13 =      "????",
  LCCN =         "????",
  bibdate =      "Sun Nov 20 11:25:16 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  note =         "Edited by R. O. Gandy and C. E. M. Yates. Including
                 prefaces by Solomon Feferman.",
  price =        "US\$116.00",
  acknowledgement = ack-nhfb,
  classmath =    "*01A75 Collected or selected works 03-03 Historical
                 (mathematical logic)",
  keywords =     "Alan Turing; computability; Enigma; ordinal logics;
                 type theory",
  reviewer =     "Leon Harkleroad (Wilton)",
  ZMnumber =     "0986.01023",
}

@Book{Turing:2001:ML,
  author =       "A. M. Turing",
  title =        "Mathematical logic",
  publisher =    pub-NH,
  address =      pub-NH:adr,
  pages =        "xii + 293",
  year =         "2001",
  ISBN =         "0-444-50423-0",
  ISBN-13 =      "978-0-444-50423-4",
  LCCN =         "????",
  MRclass =      "01A75 (03-03 03B40 03D10 68Q05)",
  MRnumber =     "MR1869997 (2003h:01029)",
  MRreviewer =   "Peter G. Hinman",
  bibdate =      "Sat Nov 19 13:23:32 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  note =         "Edited by the late R. O. Gandy and C. E. M. Yates,
                 Including prefaces by P. N. Furbank, Yates, Solomon
                 Feferman, Andrew Hodges, Jack Good and Martin
                 Campbell-Kelly",
  series =       "Collected Works of A. M. Turing",
  acknowledgement = ack-nhfb,
}

@Article{Turing:2001:VNC,
  author =       "Alan M. Turing",
  title =        "Visit to {National Cash Register Corporation} of
                 {Dayton, Ohio}",
  journal =      j-CRYPTOLOGIA,
  volume =       "25",
  number =       "1",
  pages =        "1--10",
  month =        jan,
  year =         "2001",
  CODEN =        "CRYPE6",
  ISSN =         "0161-1194",
  bibdate =      "Fri Mar 15 09:01:29 MST 2002",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 ftp://ftp.math.utah.edu/pub/tex/bib/cryptologia.bib;
                 http://www.dean.usma.edu/math/pubs/cryptologia/; OCLC
                 Article1st database",
  note =         "See \cite{DeBrosse:2004:SBU} for the NCR story and
                 brief comments about Turing's visit there.",
  acknowledgement = ack-nhfb,
  romanvolume =  "XXV",
}

@Book{Flynn:2002:CS,
  editor =       "Roger R. Flynn",
  title =        "Computer sciences",
  volume =       "1",
  publisher =    pub-MACMILLAN,
  address =      pub-MACMILLAN:adr,
  pages =        "????",
  year =         "2002",
  ISBN =         "0-02-865567-2 (Volume 1: Foundations: Ideas and People
                 (hardcover)), 0-02-865568-0 (Volume 2: Software and
                 Hardware), 0-02-865569-9 (Volume 3: Social
                 Applications), 0-02-865570-2 (Volume 4: Electronic
                 Universe)",
  ISBN-13 =      "978-0-02-865567-3 (Volume 1: Foundations: Ideas and
                 People (hardcover)), 978-0-02-865568-0 (Volume 2:
                 Software and Hardware), 978-0-02-865569-7 (Volume 3:
                 Social Applications), 978-0-02-865570-3 (Volume 4:
                 Electronic Universe)",
  LCCN =         "QA76 .C572 2002",
  bibdate =      "Sat Nov 19 17:13:45 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
  remark =       "Volume 1 --- Foundations --- v. 2. Software and
                 hardware --- v. 3. Social applications --- v. 4.
                 Electronic universe.",
  subject =      "Computer science",
  tableofcontents = "Preface; Measurements; Timeline: significant
                 events in the history of computing; Timeline: the
                 history of programming, markup and scripting languages;
                 List of contributors; Abacus; Analog computing;
                 Analytical engine; Animation; Apple Computer, Inc.;
                 Artificial intelligence; Association for computing
                 machinery; Babbage, Charles; Bell Labs; Binary number
                 system; Census Bureau; Computer Fraud and Abuse Act of
                 1986; Computer scientists; Digital computing;
                 E-commerce; E-mail; Early computers; Early pioneers;
                 Ergonomics; Games; Generations, computers; Generations,
                 languages; Government funding, research; Hollerith,
                 Herman; Hopper, Grace; Hypertext; IBM Corporation;
                 Information retrieval; Information technology
                 standards; Institute of Electrical and Electronics
                 Engineers (IEEE); Integrated circuits; Intel
                 Corporation; Interactive systems; Internet; Jacquard's
                 loom; Keyboard; Lovelace, Ada Byron King, Countess of;
                 Mainframes; Memory; Microchip; Microcomputers;
                 Microsoft Corporation; Minicomputers; Minitel; Mouse;
                 Music; Napier's bones; National Aeronautics and Space
                 Administration (NASA); Networks; Office automation
                 systems; Optical technology; Pascal, Blaise; Privacy;
                 Robotics; Security; Simulation; Slide rule;
                 Supercomputers; Tabulating machines;
                 Telecommunications; Transistors; Turing, Alan M.;
                 Turing machine; Vacuum tubes; Virtual reality in
                 education; Viruses; Watson, Thomas J., Sr.; Window
                 interfaces; World Wide Web; Xerox Corporation.",
}

@Book{Harman:2002:CSM,
  editor =       "P. M. (Peter Michael) Harman and Simon Mitton",
  title =        "{Cambridge} scientific minds",
  publisher =    pub-CAMBRIDGE,
  address =      pub-CAMBRIDGE:adr,
  pages =        "viii + 343",
  year =         "2002",
  ISBN =         "0-521-78100-0, 0-521-78612-6 (paperback)",
  ISBN-13 =      "978-0-521-78100-8, 978-0-521-78612-6 (paperback)",
  LCCN =         "Q141 .C1283 2002",
  bibdate =      "Sat Nov 19 16:19:30 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  URL =          "ftp://uiarchive.cso.uiuc.edu/pub/etext/gutenberg/;
                 http://www.loc.gov/catdir/description/cam021/2001025664.html;
                 http://www.loc.gov/catdir/samples/cam033/2001025664.html;
                 http://www.loc.gov/catdir/toc/cam021/2001025664.html",
  acknowledgement = ack-nhfb,
  subject =      "Scientists; England; Cambridge; Biography; Science;
                 England; Cambridge; History",
  tableofcontents = "William Gilbert / Stephen Pumfrey; William Harvey /
                 Andrew Cunningham; Isaac Newton: creator of the
                 Cambridge scientific tradition / Rupert Hall; William
                 Whewell: a Cambridge historian and philosopher of
                 science / Richard Yeo; Adam Sedgwick: a confident mind
                 in turmoil / David Oldroyd; Charles Babbage: science
                 and reform / Anthony Hyman; Charles Darwin / Peter J.
                 Bowler; Stokes and Kelvin, Cambridge and Glasgow, light
                 and heat / David B. Wilson; James Clerk Maxwell / Simon
                 Schaffer; Duo from Trinity: A.N. Whitehead and Bertrand
                 Russell on the foundations of mathematics, 1895--1925 /
                 Ivor Grattan-Guinness; Thomson, Rutherford and atomic
                 physics at the Cavendish / Brian Pippard; Hopkins and
                 biochemistry / Harmke Kamminga; Charles Sherrington,
                 E.D. Adrian, and Henry Dale: the Cambridge
                 Physiological Laboratory and the physiology of the
                 nervous system / E.M. Tansey; Hardy and Littlewood /
                 Robin J. Wilson; Arthur Stanley Eddington / Malcolm
                 Lonair; Paul Dirac: a quantum genius / Helge Kragh;
                 Alan Turing / Andrew Hodges; Francis Crick and James
                 Watson / Robert Olby; Mary Cartwright / Tom Korner;
                 Joseph Needham / Gregory Blue; Molecular biology in
                 Cambridge / M.F. Perutz; Discovery of pulsars---prelude
                 and aftermath / Anthony Hewish; Stephen W. Hawking /
                 Simon Mitton.",
}

@Book{Hodges:2002:EZS,
  author =       "Andrew Hodges",
  title =        "{ENIGMA} {\.Z}ycie i {\'s}mier{\'c} {Alana Turinga}.
                 ({Polish}) [{Enigma}: The life and times of {Alan
                 Turing}]",
  publisher =    "Proszynski",
  address =      "Warszawa, Poland",
  pages =        "????",
  year =         "2002",
  ISBN =         "85-7255-087-5",
  ISBN-13 =      "978-85-7255-087-1",
  LCCN =         "????",
  bibdate =      "Mon Oct 15 12:20:00 2007",
  note =         "Translation to Polish by W. Bartol.",
  price =        "US\$",
  acknowledgement = ack-nhfb,
  language =     "Polish",
}

@Book{Scheutz:2002:CND,
  editor =       "Matthias Scheutz",
  title =        "Computationalism: new directions",
  publisher =    pub-MIT,
  address =      pub-MIT:adr,
  pages =        "xiii + 209",
  year =         "2002",
  ISBN =         "0-262-19478-3",
  ISBN-13 =      "978-0-262-19478-5",
  LCCN =         "QA76 .C54747 2002",
  bibdate =      "Sat Nov 19 12:33:18 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  URL =          "ftp://uiarchive.cso.uiuc.edu/pub/etext/gutenberg/;
                 http://www.loc.gov/catdir/toc/fy034/2002019570.html",
  acknowledgement = ack-nhfb,
  remark =       "A Bradford book.",
  subject =      "Computer science; Artificial intelligence",
  tableofcontents = "1 Computationalism---The Next Generation 1 ---
                 Matthias Scheutz.\par

                 2 The Foundations of Computing 23 --- Brian Cantwell
                 Smith.\par

                 3 Narrow versus Wide Mechanism 59 --- B. Jack
                 Copeland.\par

                 4 The Irrelevance of Turing Machines to Artificial
                 Intelligence 87 --- Aaron Sloman.\par

                 5 The Practical Logic of Computer Work 129 --- Philip
                 E. Agre.\par

                 6 Symbol Grounding and the Origin of Language 143 ---
                 Stevan Harnad.\par

                 7 Authentic Intentionality 159 --- John
                 Haugeland.\par

                 Epilogue 175.",
}

@Misc{Welland:2002:TLS,
  author =       "Mark E. Welland",
  title =        "{Turing Lecture 2002}: Smaller, faster, better --- but
                 is it nanotechnology?",
  howpublished = "World-Wide Web site.",
  year =         "2002",
  bibdate =      "Mon Nov 21 14:15:17 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://www.bcs.org/BCS/Awards/Events/TuringLecture/Turing2002/",
  acknowledgement = ack-nhfb,
  remark =       "Web site includes pointer to video recording of the
                 lecture.",
}

@Book{Booss:2003:MW,
  editor =       "Bernhelm Booss and Jens H{\o}yrup",
  title =        "Mathematics and war",
  publisher =    pub-BIRKHAUSER,
  address =      pub-BIRKHAUSER:adr,
  pages =        "viii + 416",
  year =         "2003",
  ISBN =         "3-7643-1634-9 , 0-8176-1634-9",
  ISBN-13 =      "978-3-7643-1634-1, 978-0-8176-1634-2",
  LCCN =         "QA10.8 .M38 2003",
  bibdate =      "Sat Nov 19 16:30:36 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 melvyl.cdlib.org:210/CDL90",
  acknowledgement = ack-nhfb,
  subject =      "War and mathematics; Mathematics; Moral and ethical
                 aspects; World War, 1939-1945; Science",
  tableofcontents = "Military work in mathematics 1914---1945: an
                 attempt at an international perspective / Reinhard
                 Siegmund-Schultze; Brains behind the Enigma code
                 breaking before the Second World War / Elisabeth
                 Rakus-Andersson; On the defence work of A.N. Kolmogorov
                 during World War II / Albert N. Shiryaev; Improbable
                 warriors: mathematicians Grace Hopper and Mina Rees in
                 World War II / Kathleen Williams; New mathematical
                 disciplines and research in the wake of World War II /
                 Tinne Hoff Kjeldsen; Mathematics and war in Japan /
                 Setsuo Fukutomi; Discovery of the Maximum Principle in
                 optimal control / Revaz V. Gamkrelidze; Mickey flies
                 the stealth / Philip J. Davis; War cannot be calculated
                 / Svend Bergstein; Warfare can be calculated / Svend
                 Clausen; Duels of systems and forces / Helge
                 L{\"o}fstedt; On facts and fiction of ``information
                 warfare'' / Ute Bernhardt, Ingo Ruhman; More or less
                 exposed non-combatants and civilian objects under the
                 conditions of ``modern warfare'' / Elmar
                 Schm{\"a}hling; Niels Bohr's political crusade during
                 World War II / Finn Aaserud; Military use of Alan
                 Turing / Andrew Hodges; Mathematician K. Ogura and the
                 ``Greater East Easia War'' / Tetu Makino; Working
                 within the system / Wolf G{\"o}hring; Ethics and
                 military research / Jesper Ryberg; Mathematical
                 thinking and international law / Ib Martin Jarvad;
                 Calculated security? Mathematical modelling of conflict
                 and cooperation / J{\"u}rgen Scheffran.",
}

@Article{Gladwin:2003:AMT,
  author =       "Lee A. Gladwin",
  title =        "{Alan M. Turing}'s {``Critique of Running Short Cribs
                 on the U. S. Navy Bombe''}",
  journal =      j-CRYPTOLOGIA,
  volume =       "27",
  number =       "1",
  pages =        "50--54",
  month =        jan,
  year =         "2003",
  CODEN =        "CRYPE6",
  ISSN =         "0161-1194",
  bibdate =      "Sat Aug 23 08:42:35 2003",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 http://www.dean.usma.edu/math/pubs/cryptologia/",
  abstract =     "Declassified documents from the ``Crane Collection''
                 at the National Archives (USA) reveal much of the
                 cryptanalytical collaboration that defeated the German
                 Naval Enigma machine. As researchers continue to work
                 through these papers, new light is shed on that
                 relationship. In May, 2002 a manuscript, typed and
                 handwritten, by Alan M. Turing was found by the author
                 in the ``Crane Collection''. Written at the time of his
                 United States visit during the winter of 1942-1943, it
                 reflects Government Code and Cypher School (GC&CS)
                 interests and skepticism regarding the US Naval
                 Intelligence (OP-20-G) effort to independently design
                 and construct its own rapid analytical machines
                 (RAMs)",
  acknowledgement = ack-nhfb,
  keywords =     "``Known Word'' method; Agnes Meyer Driscoll; Alan M.
                 Turing; Andrew Hodges; Banburismus; bombe; C. H. 0'D
                 Alexander.; Click process; codebreaking; Commander H.
                 T. Engstrom; Crane Collection; Crib Group; Enigma;
                 German Naval Enigma; Government Code and Cypher School
                 (GC&CS); Hut 8; I. J. Good; Index of Coincidence; John
                 H. Howard; Lt. (jg) A. H. Clifford; Lt. Commander
                 Robert B. Ely; Machine Branch (OP-20-GM); Rapid
                 Analytical Machines (RAMs); Richard Pendered; Shaun
                 Wylie; Stecker-Knockout; Turing bombe; US Naval
                 Intelligence (OP-20-G)",
  romanvolume =  "XXVII",
}

@Book{Hodges:2003:SEV,
  author =       "Andrew Hodges",
  title =        "Storia di un enigma. Vita di {Alan Turing}
                 (1912--1954). ({Italian}) [Story of an {Enigma}. Life
                 of {Alan Turing} (1912--1954)]",
  publisher =    "Bollati Boringhieri",
  address =      "Torino, Italy",
  pages =        "762",
  year =         "2003",
  ISBN =         "88-339-1501-8",
  ISBN-13 =      "978-88-339-1501-2",
  LCCN =         "????",
  bibdate =      "Mon Oct 15 12:16:03 2007",
  acknowledgement = ack-nhfb,
  language =     "Italian",
}

@Misc{Kovac:2003:TLC,
  author =       "Carol Kovac",
  title =        "{Turing Lecture 2003}: Computing in the Age of the
                 Genome",
  howpublished = "World-Wide Web site.",
  year =         "2003",
  bibdate =      "Mon Nov 21 14:17:54 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://www.bcs.org/BCS/Awards/Events/TuringLecture/Turing2003/",
  acknowledgement = ack-nhfb,
  remark =       "Web site includes pointer to video recording of the
                 lecture, and also to the lecture slides.",
}

@Book{Moor:2003:TTE,
  editor =       "James Moor",
  title =        "The {Turing Test}: the elusive standard of artificial
                 intelligence",
  publisher =    pub-KLUWER,
  address =      pub-KLUWER:adr,
  pages =        "vi + 273",
  year =         "2003",
  ISBN =         "1402012047",
  ISBN-13 =      "1402012047",
  LCCN =         "Q341 .T87 2003",
  bibdate =      "Sat Nov 19 12:33:18 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
  subject =      "Turing test; Artificial intelligence",
}

@Book{Newton:2003:ATS,
  author =       "David E. Newton",
  title =        "{Alan Turing}: a study in light and shadow",
  publisher =    "Xlibris",
  address =      "Philadelphia, PA, USA",
  pages =        "122",
  year =         "2003",
  ISBN =         "1-4010-9080-X",
  ISBN-13 =      "978-1-4010-9080-7",
  LCCN =         "????",
  bibdate =      "Sun Nov 20 12:09:28 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
}

@Book{Papadimitriou:2003:TNA,
  author =       "Christos H. Papadimitriou",
  title =        "{Turing}: a novel about computation",
  publisher =    pub-MIT,
  address =      pub-MIT:adr,
  pages =        "284",
  year =         "2003",
  ISBN =         "0-262-16218-0 (hc.)",
  ISBN-13 =      "978-0-262-16218-0 (hc.)",
  LCCN =         "PS3616.A58 T87 2003",
  bibdate =      "Sat Nov 19 17:01:18 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
  subject =      "Turing, Alan Mathison; Fiction; Computer simulation;
                 Fiction; Computer scientists; Fiction; Mathematicians;
                 Fiction",
  subject-dates = "1912--1954",
}

@Book{PazSoldan:2003:DT,
  author =       "Edmundo {Paz Sold\'an}",
  title =        "El delirio de {Turing}. [(Spanish)] {The delirium of
                 {Turing}}",
  publisher =    "Santillana de Ediciones",
  address =      "La Paz, Bolivia",
  pages =        "313",
  year =         "2003",
  ISBN =         "99905-2-283-9",
  ISBN-13 =      "978-99905-2-283-9",
  LCCN =         "MLCM 2007/41947 (P)",
  bibdate =      "Mon Oct 15 11:35:09 MDT 2007",
  bibsource =    "z3950.loc.gov:7090/Voyager",
  series =       "Alfaguara",
  acknowledgement = ack-nhfb,
  language =     "Spanish",
}

@Book{Tofts:2003:PCI,
  editor =       "Darren Tofts and Annemarie Jonson and Alessio
                 Cavallaro",
  title =        "Prefiguring cyberculture: an intellectual history",
  publisher =    pub-MIT,
  address =      pub-MIT:adr,
  pages =        "xiv + 322",
  year =         "2003",
  ISBN =         "0-262-20145-3",
  ISBN-13 =      "978-0-262-20145-2",
  LCCN =         "T173.8 .P688 2002b",
  bibdate =      "Sat Nov 19 16:17:02 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 library.ox.ac.uk:210/ADVANCE",
  acknowledgement = ack-nhfb,
  subject =      "Technological innovations; History; Information
                 technology; Social aspects; Technology and
                 civilization",
  tableofcontents = "Synthetic meditations: cogito in the matrix / Erik
                 Davis -- Instruments of life: Frankenstein and
                 cyberculture / Catherine Waldby -- Imaginable
                 computers: affects and intelligence in Alan Turing /
                 Elizabeth Wilson -- Marrying the premodern to the
                 postmodern: computers and organisms after WWII / Evelyn
                 Fox Keller -- Cassandra among the cyborgs, or, the
                 silicon termination notice / Samuel J. Umland, Karl
                 Wessel -- Cyberquake: Haraway's manifesto / Zo?
                 Sofoulis -- Reality tables: virtual furniture / Gregory
                 L. Ulmer -- Porous memory and the cognitive life of
                 things / John Sutton -- Becoming immedia: the
                 involution of digital convergence / Donald F. Theall --
                 Too real / McKenzie Wark -- Space for rent in the last
                 suburb / Scott McQuire.",
}

@Article{Turing:2003:CRS,
  author =       "Alan M. Turing",
  title =        "Critique of {``Running Short Cribs on the U. S. Navy
                 Bombe''}",
  journal =      j-CRYPTOLOGIA,
  volume =       "27",
  number =       "1",
  pages =        "44--49",
  month =        jan,
  year =         "2003",
  CODEN =        "CRYPE6",
  ISSN =         "0161-1194",
  bibdate =      "Sat Aug 23 08:42:35 2003",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 ftp://ftp.math.utah.edu/pub/tex/bib/cryptologia.bib;
                 http://www.dean.usma.edu/math/pubs/cryptologia/",
  acknowledgement = ack-nhfb,
  romanvolume =  "XXVII",
}

@Book{DeBrosse:2004:SBU,
  author =       "Jim DeBrosse and Colin B. Burke",
  title =        "The secret in {Building 26}: the untold story of
                 {America}'s ultra war against the {U}-boat {Enigma}
                 codes",
  publisher =    pub-RANDOM-HOUSE,
  address =      pub-RANDOM-HOUSE:adr,
  pages =        "xxix + 272",
  year =         "2004",
  ISBN =         "0-375-50807-4, 1-58836-353-8, 0-375-75995-6",
  ISBN-13 =      "978-0-375-50807-3, 978-1-58836-353-4,
                 978-0-375-75995-6",
  LCCN =         "D810.C88 D43 2004",
  bibdate =      "Fri Jan 13 17:17:54 MST 2006",
  bibsource =    "z3950.loc.gov:7090/Voyager",
  URL =          "http://www.loc.gov/catdir/samples/random045/2003058494.html;
                 http://www.randomhouse.com/catalog/display.pperl?isbn=9781588363534",
  acknowledgement = ack-nhfb,
  remark =       "From the publisher: ``Much has been written about the
                 success of the British ``Ultra'' program in cracking
                 the Germans' Enigma code early in World War II, but few
                 know what really happened in 1942, when the Germans
                 added a fourth rotor to the machine that created the
                 already challenging naval code and plunged Allied
                 intelligence into darkness.

                 Enter one Joe Desch, an unassuming but brilliant
                 engineer at the National Cash Register Company in
                 Dayton, Ohio, who was given the task of creating a
                 machine to break the new Enigma settings. It was an
                 enterprise that rivaled the Manhattan Project for
                 secrecy and complexity---and nearly drove Desch to a
                 breakdown. Under enormous pressure, he succeeded in
                 creating a 5,000-pound electromechanical monster known
                 as the Desch Bombe, which helped turn the tide in the
                 Battle of the Atlantic---but not before a disgruntled
                 co-worker attempted to leak information about the
                 machine to the Nazis.

                 After toiling anonymously---it even took his daughter
                 years to learn of his accomplishments---Desch was
                 awarded the National Medal of Merit, the
                 country's highest civilian honor. In The Secret
                 in Building 26, the entire thrilling story of the final
                 triumph over Enigma is finally told. ''",
  subject =      "World War, 1939--1945; Cryptography; Enigma cipher
                 system; United States; History; 20th century; Desch,
                 Joseph",
}

@Book{Copeland:2004:ETS,
  author =       "B. Jack Copeland",
  title =        "The essential {Turing}: seminal writings in computing,
                 logic, philosophy, artificial intelligence, and
                 artificial life, plus the secrets of {Enigma}",
  publisher =    pub-OXFORD,
  address =      pub-OXFORD:adr,
  pages =        "viii + 613",
  year =         "2004",
  ISBN =         "0-19-825079-7, 0-19-825080-0",
  ISBN-13 =      "978-0-19-825079-1, 978-0-19-825080-7",
  LCCN =         "QA29.T8 E77 2004",
  bibdate =      "Sat Nov 19 18:33:05 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 melvyl.cdlib.org:210/CDL90",
  acknowledgement = ack-nhfb,
  subject =      "Cognitive science; Electronic data processing;
                 Artificial intelligence; Turing, Alan Mathison",
  subject-dates = "1912--1954",
}

@Book{Lemire:2004:ATH,
  author =       "Laurent Lemire",
  title =        "{Alan Turing}: l'homme qui a croqu{\'e} la pomme.
                 (French) [{Alan Turing}: The man who broke the apple]",
  publisher =    "Hachette",
  address =      "Paris, France",
  pages =        "191",
  year =         "2004",
  ISBN =         "2-01-235618-4",
  ISBN-13 =      "978-2-01-235618-4",
  LCCN =         "QA29.T8",
  bibdate =      "Sat Nov 19 17:36:29 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
  language =     "French",
}

@Misc{Piper:2004:TLC,
  author =       "Fred Piper",
  title =        "{Turing Lecture 2004}: Cyberworld Security --- the
                 Good, the Bad and the Ugly",
  howpublished = "World-Wide Web site.",
  year =         "2004",
  bibdate =      "Mon Nov 21 14:13:05 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://www.bcs.org/BCS/Awards/Events/TuringLecture/Turing2004/",
  acknowledgement = ack-nhfb,
  remark =       "Web site includes pointer to video recording of the
                 lecture.",
}

@Book{Shieber:2004:TTV,
  editor =       "Stuart M. Shieber",
  title =        "The {Turing} test: verbal behavior as the hallmark of
                 intelligence",
  publisher =    pub-MIT,
  address =      pub-MIT:adr,
  pages =        "xi + 346",
  year =         "2004",
  ISBN =         "0-262-69293-7 (paperback)",
  ISBN-13 =      "978-0-262-69293-9 (paperback)",
  LCCN =         "Q341 .T874 2004",
  bibdate =      "Mon Mar 20 17:12:24 MST 2006",
  bibsource =    "library.mit.edu:9909/mit01",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
  remark =       "A Bradford book.",
  subject =      "Turing test",
  tableofcontents = "I. Precursors\\
                 The Bete machine\\
                 1. Discourse on the method, chapter V / Rene
                 Descartes\\
                 If animals could talk\\
                 2. Letter to the Marquess of Newcastle / Rene
                 Descartes\\
                 The Homme machine\\
                 3. Selections from Machine man / Julien Offray de La
                 Mettrie\\
                 II. Turing's test\\
                 Computer technology\\
                 4. Computing machinery and intelligence / Alan M.
                 Turing\\
                 The ephemera\\
                 5. Intelligent machinery, a heretical theory / Alan M.
                 Turing\\
                 6. Can digital computers think? / Alan M. Turing\\
                 7. Can automatic calculating machines be said to think?
                 / M. H. A. Newman, Alan M. Turing, Geoffrey Jefferson
                 and R. B. Braithwaite\\
                 III. Philosophical reaction and the Mind responsa\\
                 Immediate responses\\
                 Can machines have neuroses?\\
                 8. Do machines think about machines thinking / Leonard
                 Pinsky\\
                 The wedge and the spark\\
                 9. The imitation game / Keith Gunderson\\
                 Early harbingers of later issues\\
                 10. Beating the imitation game / Richard Purtill\\
                 11. In defence of Turing / Geoffrey Sampson\\
                 12. On the point of the imitation game / P. H.
                 Millar\\
                 Turing test chauvinism\\
                 13. Subcognition and the limits of the Turing test /
                 Robert M. French\\
                 The spark of intentionality\\
                 14. Minds, brains, and programs / John R. Searle\\
                 The spark of richness of information processing\\
                 15. Psychologism and behaviorism / Ned Block\\
                 The supporting view\\
                 16. Can machines think? / Daniel C. Dennett\\
                 The turing test's evidentiary value\\
                 17. An analysis of the Turing test / James H. Moor\\
                 18. Why machines can't think : a reply to James Moor /
                 Douglas F. Stalker\\
                 19. Explaining computer behavior / James H. Moor\\
                 Dumping the big question\\
                 20. Turing on the ``imitation game'' / Noam Chomsky",
}

@Book{Teuscher:2004:ATL,
  editor =       "Christof Teuscher",
  title =        "{Alan Turing}: life and legacy of a great thinker",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "xxviii + 542",
  year =         "2004",
  ISBN =         "3-540-20020-7",
  ISBN-13 =      "978-3-540-20020-8",
  LCCN =         "QA29.T8 A57 2004",
  bibdate =      "Sat Nov 19 12:33:18 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  note =         "Foreword by Douglas Hofstadter.",
  acknowledgement = ack-nhfb,
  subject =      "Turing, Alan Mathison; Mathematicians; Great Britain;
                 Biography",
  subject-dates = "1912--1954",
}

@Book{Turing:2004:ETS,
  author =       "Alan Mathison Turing and B. Jack Copeland",
  title =        "{The essential Turing: seminal writings in computing,
                 logic, philosophy, artificial intelligence, and
                 artificial life, plus the secrets of Enigma}",
  publisher =    pub-CLARENDON-PRESS,
  address =      pub-CLARENDON-PRESS:adr,
  pages =        "viii + 613",
  year =         "2004",
  ISBN =         "0-19-825079-7 (hardcover), 0-19-825080-0 (paperback)",
  ISBN-13 =      "978-0-19-825079-1 (hardcover), 978-0-19-825080-7
                 (paperback)",
  LCCN =         "QA7 .T772 2004",
  bibdate =      "Mon Nov 7 18:25:34 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 ftp://ftp.math.utah.edu/pub/tex/bib/cryptography2000.bib;
                 z3950.loc.gov:7090/Voyager",
  URL =          "ftp://uiarchive.cso.uiuc.edu/pub/etext/gutenberg/;
                 http://www.loc.gov/catdir/toc/fy053/2004275594.html",
  acknowledgement = ack-nhfb,
  author-dates = "1912--1954",
  subject =      "Mathematics; Logic, Symbolic and mathematical; Enigma
                 cipher system; Artificial intelligence; Turing, Alan
                 Mathison",
  subject-dates = "1912--1954",
  tableofcontents = "``The ideas that gave birth to the computer age'';
                 Alan Turing 1912--1954 / Jack Copeland; Computable
                 numbers: a guide / Jack Copeland; On computable
                 numbers, with an application to the
                 Entscheidungsproblem (1936); On computable numbers:
                 corrections and critiques / Alan Turing, Emil Post and
                 Donald W. Davies; Systems of logic based on ordinals
                 (1938), including excerpts from Turing's
                 correspondence, 1936--1938; Letters on logic to Max
                 Newman (ca. 1940); Enigma / Jack Copeland; History of
                 Hut 8 to December 1941 (1945), featuring an excerpt
                 from Turing's 'Treatise on the Enigma' / Patrick Mahon;
                 Bombe and Spider (1940); Letter to Winston Churchill
                 (1941); Memorandum to OP-20-G on Naval Enigma (ca.
                 1941); Artificial intelligence / Jack Copeland; Lecture
                 on the automatic computing engine (1947); Intelligent
                 machinery (1948); Computing machinery and intelligence
                 (1950); Intelligent machinery, a heretical theory (ca.
                 1951); Can digital computers think? (1951); Can
                 automatic calculating machines be said to think? (1952)
                 / Alan Turing, Richard Braithwaite, Geoffrey Jefferson
                 and Max Newman; Artificial life / Jack Copeland; The
                 chemical basis of morphogenesis (1952); Chess (1953);
                 Solvable and unsolvable problems (1954).",
}

@Misc{Brooks:2005:TLC,
  author =       "Frederick P. {Brooks, Jr.}",
  title =        "{Turing Lecture 2005}: Collaboration and
                 Telecollaboration in Design",
  howpublished = "World-Wide Web site.",
  year =         "2005",
  bibdate =      "Mon Nov 21 14:10:25 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://www.bcs.org/BCS/Awards/Events/TuringLecture/Turing2005/",
  acknowledgement = ack-nhfb,
  remark =       "Web site includes pointer to video recording of the
                 lecture.",
}

@Book{Cappuccio:2005:ATU,
  author =       "Massimiliano Cappuccio",
  title =        "{Alan Turing}: l'uomo, la macchina, l'enigma: per una
                 genealogia dell'incomputabile. ({Italian}) [{Alan
                 Turing}: the man, the machine, the {Enigma}; towards a
                 genealogy of the incomputable]",
  volume =       "1",
  publisher =    "AlboVersorio",
  address =      "Milano, Italy",
  pages =        "342",
  year =         "2005",
  ISBN =         "88-89130-29-6",
  ISBN-13 =      "978-88-89130-29-2",
  LCCN =         "QA29.T8 C37 2005",
  bibdate =      "Mon Oct 15 11:48:13 MDT 2007",
  bibsource =    "z3950.loc.gov:7090/Voyager",
  series =       "Pragmata",
  acknowledgement = ack-nhfb,
  language =     "Italian",
  subject =      "Turing, Alan Mathison; Mathematicians; Great Britain;
                 Biography",
  subject-dates = "1912--1954",
}

@Book{Copeland:2005:ATA,
  editor =       "B. Jack Copeland",
  title =        "{Alan Turing}'s automatic computing engine: the master
                 codebreaker's struggle to build the modern computer",
  publisher =    pub-OXFORD,
  address =      pub-OXFORD:adr,
  pages =        "xx + 553",
  year =         "2005",
  ISBN =         "0-19-856593-3 (hardcover)",
  ISBN-13 =      "978-0-19-856593-2 (hardcover)",
  LCCN =         "QA75 .A43 2005",
  bibdate =      "Sat Nov 19 18:33:05 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 melvyl.cdlib.org:210/CDL90",
  acknowledgement = ack-nhfb,
  remark =       "Originally published: New York; London: Springer,
                 2003.. The National Physical Laboratory / Eileen
                 Magnello -- The creation of the NPL Mathematics
                 Division / Mary Croarken -- The origins and development
                 of the ACE project / B. Jack Copeland -- The Pilot ACE
                 at the National Physical Laboratory / James H.
                 Wilkinson -- Turing and the computer / B. Jack Copeland
                 and Diane Proudfoot -- The ACE and the shaping of
                 British computing / Martin Campbell-Kelly -- From
                 Turing machine to 'electronic brain' / Teresa Numerico
                 -- The Pilot ACE instruction format / Henry John Norton
                 -- Programming and the Pilot ACE / J.G. Hayes -- The
                 Pilot ACE: from concept to reality / Robin A. Vowels
                 -- Applications of the Pilot ACE and the DEUCE / Tom
                 Vickers -- The ACE test assembly, the Pilot ACE, the
                 Big ACE, and the Bendix G15 / Harry D. Huskey -- The
                 DEUCE--a user's view / Robin A. Vowels -- The ACE
                 simulator and the cybernetic model / Michael Woodger --
                 The pilot model and the Big ACE on the web / Benjamin
                 Wells -- How valves work / David O. Clayden --
                 Recollections of early vacuum tube circuits / Maurice
                 Wilkes -- Circuit design of the Pilot ACE and the Big
                 ACE / David O. Clayden -- Proposed electronic
                 calculator (1945) / Alan M. Turing -- Notes on memory
                 (1945) / Alan M. Turing -- The Turing-Wilkinson lecture
                 series (1946-7) (edited with an introduction by B. Jack
                 Copeland) / Alan M. Turing and James H. Wilkinson --
                 The state of the art in electronic digital computing in
                 Britain and the United States (1947) / Harry D.
                 Huskey.",
  subject =      "Turing, Alan Mathison; Computers; Great Britain;
                 History; Computer engineering; Great Britain; History",
  subject-dates = "1912--1954",
}

@Misc{Copeland:2005:IGA,
  author =       "B. Jack Copeland",
  title =        "The Imitation Game: Artificial Intelligence and the
                 Human Mind",
  howpublished = "Inaugural Turing Memorial Lecture to be held on the
                 evening of 25 August 2005 at Bletchley Park, Milton
                 Keynes",
  day =          "25",
  month =        aug,
  year =         "2005",
  bibdate =      "Mon Nov 21 14:07:35 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://www.beds.bcs.org.uk/events/2005-08-25-Turing.shtml",
  acknowledgement = ack-nhfb,
}

@Book{DeAngelis:2005:CPD,
  author =       "Gina DeAngelis and David J. Bianco",
  title =        "Computers: processing the data",
  publisher =    "Oliver Press",
  address =      "Minneapolis, MN, USA",
  pages =        "143",
  year =         "2005",
  ISBN =         "1-881508-87-0",
  ISBN-13 =      "978-1-881508-87-8",
  LCCN =         "QA76.17 D43 2005",
  bibdate =      "Sun Nov 20 12:06:14 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  series =       "Innovators",
  acknowledgement = ack-nhfb,
  remark =       "From clay tokens to calculating machines; Charles
                 Babbage and the analytical engine; Alan Turing and the
                 Turing Machine; John Mauchly and J. Presper Eckert and
                 the electronic computer; Jack Kilby and Robert Noyce
                 and the integrated circuit; Ted Hoff and the
                 microprocessor; Steve Wozniak and the personal
                 computer; Tim Berners-Lee and the World Wide Web; The
                 next big thing",
  subject =      "Computer science; History; Juvenile literature;
                 Computer scientists; Biography",
}

@Book{Hawking:2005:GCI,
  author =       "Stephen Hawking",
  title =        "{God} created the integers: the mathematical
                 breakthroughs that changed history",
  publisher =    "Running Press Book Publishers",
  address =      "Philadelphia, PA and London, UK",
  pages =        "xiii + 1160",
  year =         "2005",
  ISBN =         "0-7624-1922-9 (hardcover)",
  ISBN-13 =      "978-0-7624-1922-7 (hardcover)",
  LCCN =         "????",
  bibdate =      "Wed Oct 26 15:10:09 MDT 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  price =        "US\$29.95",
  URL =          "http://www.perseusbooksgroup.com/runningpress/book_detail.jsp?isbn=0762419229",
  acknowledgement = ack-nhfb,
  remark =       "From the publisher: ``Stephen Hawking explores the
                 `masterpieces' of mathematics, 25 landmarks spanning
                 2,500 years and representing the work of 15
                 mathematicians, including Augustin Cauchy, Bernard
                 Riemann, and Alan Turing.''",
  remark-2 =     "Chapters cover Euclid (ca. 325BCE--265BCE), Archimedes
                 (287BCE--212BC), Diophantus (Third Century AD),
                 Ren{\'e} Descartes (1596--1650), Isaac Newton
                 (1642--1727), Pierre Simon de LaPlace (1749--1827),
                 Jean Baptiste Joseph Fourier (1768--1830), Carl
                 Friedrich Gauss (1777--1855), Augustin-Louis Cauchy
                 (1789--1857), George Boole (1815--1864), Georg
                 Friedrich Berhard Riemann (1826--1866), Karl
                 Weierstrass (1815--1897), Richard Julius Wilhelm
                 Dedekind (1831--1916), Georg Cantor (1845--1918), Henri
                 Lebesgue (1875--1941), Kurt G{\"o}del (1906--1978), and
                 Alan Mathison Turing (1912--1954).",
}

@Book{Leavitt:2005:MWK,
  author =       "David Leavitt",
  title =        "The man who knew too much: {Alan Turing} and the
                 invention of the computer",
  publisher =    pub-NORTON,
  address =      pub-NORTON:adr,
  pages =        "319",
  year =         "2005",
  ISBN =         "0-393-05236-2 (hardcover)",
  ISBN-13 =      "978-0-393-05236-7 (hardcover)",
  LCCN =         "QA29.T8 L43 2005",
  bibdate =      "Sat Nov 19 16:44:38 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  series =       "Great discoveries",
  URL =          "ftp://uiarchive.cso.uiuc.edu/pub/etext/gutenberg/;
                 http://www.loc.gov/catdir/toc/ecip0514/2005018034.html",
  acknowledgement = ack-nhfb,
  remark =       "Atlas books.",
  subject =      "Turing, Alan Mathison; Mathematicians; Great Britain;
                 Biography; Gay men; Legal status, laws, etc; Great
                 Britain; Artificial intelligence; History",
  subject-dates = "1912--1954",
  tableofcontents = "The man in the white suit \\
                 Watching the daisies grow \\
                 The universal machine \\
                 God is slick \\
                 The tender peel \\
                 The electronic athlete \\
                 The imitation game \\
                 Pryce's buoy",
}

@Book{Lombardi:2005:LML,
  author =       "Gabriel Lombardi",
  title =        "{L}'aventure math\'ematique: libert\'e et rigueur
                 psychotiques, {Cantor}, {G{\"o}del}, {Turing}.
                 ({French}) [Mathematical adventure: freedom and
                 psychotic rigor: {Cantor}, {G{\"o}del}, {Turing}]",
  publisher =    "Champ lacanien",
  address =      "Paris, France",
  pages =        "227",
  year =         "2005",
  ISBN =         "2-914332-10-6",
  ISBN-13 =      "978-2-914332-10-1",
  LCCN =         "????",
  bibdate =      "Mon Oct 15 11:47:05 MDT 2007",
  bibsource =    "z3950.loc.gov:7090/Voyager",
  series =       "In progress",
  acknowledgement = ack-nhfb,
  language =     "French",
}

@Book{Numerico:2005:ATI,
  author =       "Teresa Numerico",
  title =        "{Alan Turing} e l'intelligenza delle macchine.
                 ({Italian}) [{Alan Turing} and machine intelligence]",
  publisher =    "FrancoAngeli",
  address =      "Milan, Italy",
  pages =        "208",
  year =         "2005",
  ISBN =         "88-464-6136-3",
  ISBN-13 =      "978-88-464-6136-0",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 17:29:43 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://www.loc.gov/catdir/toc/casalini01/05052807.pdf",
  acknowledgement = ack-nhfb,
  language =     "Italian",
}

@Article{Piper:2005:CSG,
  author =       "Fred Piper",
  title =        "{Turing Lecture}: Cyberworld Security---the Good, the
                 Bad and the Ugly",
  journal =      j-COMP-J,
  volume =       "48",
  number =       "2",
  pages =        "145--156",
  month =        mar,
  year =         "2005",
  CODEN =        "CMPJA6",
  DOI =          "http://dx.doi.org/10.1093/comjnl/bxh076",
  ISSN =         "0010-4620",
  bibdate =      "Tue Jun 28 17:48:36 MDT 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_48/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_48/Issue_02/bxh076.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_48/Issue_02/pdf/bxh076.pdf;
                 http://comjnl.oxfordjournals.org/cgi/reprint/48/2/145;
                 ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  abstract =     "tex/bib/acm-turing-awards/piper-2005-csg.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Smith:2005:TMS,
  author =       "S. W. Smith",
  title =        "{Turing} is from {Mars}, {Shannon} is from {Venus}:
                 computer science and computer engineering",
  journal =      j-IEEE-SEC-PRIV,
  volume =       "3",
  number =       "2",
  pages =        "66--69",
  month =        mar # "/" # apr,
  year =         "2005",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1109/MSP.2005.54",
  ISSN =         "1540-7993",
  bibdate =      "Tue Jul 26 18:29:12 MDT 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 http://ieeexplore.ieee.org/",
  URL =          "http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=30742&arnumber=1423965&count=15&index=11;
                 http://ieeexplore.ieee.org/iel5/8013/30742/01423965.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Booker:2006:TRH,
  author =       "Andrew R. Booker",
  title =        "{Turing} and the {Riemann Hypothesis}",
  journal =      j-NAMS,
  volume =       "53",
  number =       "10",
  pages =        "1208--1211",
  month =        nov,
  year =         "2006",
  CODEN =        "AMNOAN",
  ISSN =         "0002-9920",
  bibdate =      "Mon Oct 30 15:42:45 2006",
  URL =          "http://www.ams.org/notices/200610/fea-booker.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Casselman:2006:BTM,
  author =       "Bill Casselman",
  title =        "Blueprint for a {Turing Machine}: About the
                 Cover\ldots{}and a Bit More",
  journal =      j-NAMS,
  volume =       "53",
  number =       "10",
  pages =        "1186--1189",
  month =        nov,
  year =         "2006",
  CODEN =        "AMNOAN",
  ISSN =         "0002-9920",
  bibdate =      "Mon Oct 30 15:42:45 2006",
  URL =          "http://www.ams.org/notices/200610/comm-aboutcov.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Casselman:2006:MTE,
  author =       "Bill Casselman",
  title =        "Mathematical theory of the {Enigma} machine",
  journal =      j-NAMS,
  volume =       "53",
  number =       "4",
  pages =        "433--433",
  month =        apr,
  year =         "2006",
  CODEN =        "AMNOAN",
  ISSN =         "0002-9920",
  bibdate =      "Fri Mar 24 17:01:58 2006",
  note =         "The front cover of this issue displays eight pages of
                 Alan Turing's description of the Enigma machine. The
                 issue is a special tribute to Kurt G{\"o}del for the
                 centenary of his birth.",
  URL =          "http://www.nationalarchives.gov.uk/,
                 http://www.turingarchive.org/browse.php/C/30;
                 http://www.mathaware.org/",
  acknowledgement = ack-nhfb,
}

@Article{Cooper:2006:MWK,
  author =       "S. Barry Cooper",
  title =        "{{\em The Man Who Knew Too Much: Alan Turing and the
                 Invention of the Computer}}--{A} Book Review",
  journal =      j-NAMS,
  volume =       "53",
  number =       "10",
  pages =        "1213--1217",
  month =        nov,
  year =         "2006",
  CODEN =        "AMNOAN",
  ISSN =         "0002-9920",
  bibdate =      "Mon Oct 30 15:42:45 2006",
  URL =          "http://www.ams.org/notices/200610/rev-cooper.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Davis:2006:WIR,
  author =       "Martin Davis",
  title =        "What Is\ldots{}{Turing} Reducibility?",
  journal =      j-NAMS,
  volume =       "53",
  number =       "10",
  pages =        "1218--1219",
  month =        nov,
  year =         "2006",
  CODEN =        "AMNOAN",
  ISSN =         "0002-9920",
  bibdate =      "Mon Oct 30 15:42:45 2006",
  URL =          "http://www.ams.org/notices/200610/whatis-davis.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Feferman:2006:TT,
  author =       "Solomon Feferman",
  title =        "{Turing}'s Thesis",
  journal =      j-NAMS,
  volume =       "53",
  number =       "10",
  pages =        "1200--1206",
  month =        nov,
  year =         "2006",
  CODEN =        "AMNOAN",
  ISSN =         "0002-9920",
  bibdate =      "Mon Oct 30 15:42:45 2006",
  URL =          "http://www.ams.org/notices/200610/fea-feferman.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Hodges:2006:ETB,
  author =       "Andrew Hodges",
  title =        "{{\em The Essential Turing}}--{A} Book Review",
  journal =      j-NAMS,
  volume =       "53",
  number =       "10",
  pages =        "1190--1199",
  month =        nov,
  year =         "2006",
  CODEN =        "AMNOAN",
  ISSN =         "0002-9920",
  bibdate =      "Mon Oct 30 15:42:45 2006",
  URL =          "http://www.ams.org/notices/200610/rev-hodges.pdf",
  acknowledgement = ack-nhfb,
}

@Book{James:2006:ASH,
  author =       "I. M. (Ioan Mackenzie) James",
  title =        "{Asperger}'s syndrome and high achievement: some very
                 remarkable people",
  publisher =    "Jessica Kingsley",
  address =      "London, UK",
  pages =        "224",
  year =         "2006",
  ISBN =         "1-84310-388-5 (paperback)",
  ISBN-13 =      "978-1-84310-388-2 (paperback)",
  LCCN =         "RC553.A88 J35 2006",
  bibdate =      "Sun Nov 20 12:07:55 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
  remark =       "Michelangelo Buonarroti (1475--1564); Philip of Spain
                 (1527--1598); Isaac Newton (1642--1726); Jonathan Swift
                 (1667--1745); John Howard (1726?--1790); Henry
                 Cavendish (1731--1810); Thomas Jefferson (1743--1826);
                 Vincent van Gogh (1853--1890); Erik Satie (1866--1925);
                 Bertrand Russell (1872 --1970); Albert Einstein
                 (1879--1955); Bela Bartok (1881--1945); Ramanujan
                 (1887--1920); Ludwig Wittgenstein (1889--1951); Alfred
                 Kinsey (1894--1956); Simone Weil (1909--1943); Alan
                 Turing (1912--1954); Patricia Highsmith (1921--1995);
                 Andy Warhol (1928--1987); Glenn Gould (1932--1982).",
  subject =      "Asperger's syndrome; Genius and mental illness;
                 Creative ability; Psychological aspects; Asperger's
                 syndrome; Patients; Biography; Autism; Patients;
                 Biography",
}

@Misc{Mairs:2006:TLL,
  author =       "Chris Mairs",
  title =        "{Turing Lecture 2006}: Lifestyle access for the
                 disabled --- adding positive drift to the random walk
                 with technology",
  howpublished = "World-Wide Web site.",
  day =          "26",
  month =        jan,
  year =         "2006",
  bibdate =      "Mon Nov 21 14:16:40 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  URL =          "http://www.bcs.org/BCS/Awards/Events/TuringLecture/Turing2006/",
  acknowledgement = ack-nhfb,
  remark =       "Web site includes pointer to video recording of the
                 lecture.",
}

@Book{Levin:2006:MDT,
  author =       "Janna Levin",
  title =        "A madman dreams of {Turing} machines",
  publisher =    pub-KNOPF,
  address =      pub-KNOPF:adr,
  pages =        "230",
  year =         "2006",
  ISBN =         "1-4000-4030-2",
  ISBN-13 =      "978-1-4000-4030-8",
  LCCN =         "PS3612.E9238 M33 2006",
  bibdate =      "Mon Oct 15 11:20:05 MDT 2007",
  bibsource =    "z3950.loc.gov:7090/Voyager",
  URL =          "http://www.loc.gov/catdir/enhancements/fy0643/2005037124-s.html;
                 http://www.loc.gov/catdir/enhancements/fy0661/2005037124-b.html;
                 http://www.loc.gov/catdir/enhancements/fy0661/2005037124-d.html",
  acknowledgement = ack-nhfb,
  subject =      "G{\"o}del, Kurt; fiction; Turing, Alan Mathison;
                 logicians; mathematicians; genius; philosophy",
  subject-dates = "1912--1954 (Turing); 1906-1978 (G{\"o}del)",
}

@Book{PazSoldan:2006:TD,
  author =       "Edmundo {Paz Sold\'an} and Lisa Carter",
  title =        "{Turing}'s delirium",
  publisher =    pub-HOUGHTON-MIFFLIN,
  address =      pub-HOUGHTON-MIFFLIN:adr,
  pages =        "291",
  year =         "2006",
  ISBN =         "0-618-54139-X",
  ISBN-13 =      "978-0-618-54139-3",
  LCCN =         "PQ7820.P39 D4513 2006",
  bibdate =      "Mon Oct 15 11:36:45 MDT 2007",
  bibsource =    "z3950.loc.gov:7090/Voyager",
  URL =          "http://www.loc.gov/catdir/enhancements/fy0623/2005024726-d.html;
                 http://www.loc.gov/catdir/enhancements/fy0668/2005024726-s.html;
                 http://www.loc.gov/catdir/enhancements/fy0736/2005024726-b.html",
  acknowledgement = ack-nhfb,
}

@Book{Corrigan:2007:AT,
  author =       "Jim Corrigan",
  title =        "{Alan Turing}",
  publisher =    "Morgan Reynolds Pub.",
  address =      "Greensboro, NC, USA",
  pages =        "????",
  year =         "2007",
  ISBN =         "1-59935-064-5",
  ISBN-13 =      "978-1-59935-064-6",
  LCCN =         "QA29.T8 C67 2007",
  bibdate =      "Mon Oct 15 11:34:47 MDT 2007",
  bibsource =    "z3950.loc.gov:7090/Voyager",
  series =       "Profiles in mathematics",
  URL =          "http://www.loc.gov/catdir/toc/ecip0713/2007011704.html",
  acknowledgement = ack-nhfb,
  subject =      "Turing, Alan Mathison; Mathematicians; Great Britain;
                 Biography",
  subject-dates = "1912--1954",
  tableofcontents = "Early discoveries \\
                 Universal Turing machine \\
                 Unraveling the enigma \\
                 Beyond Bletchley Park \\
                 Building a brain \\
                 Mathematical biology \\
                 Poison apple \\
                 Alan Turing's legacy \\
                 Timeline \\
                 Source notes \\
                 Glossary",
}

@Book{Epstein:2007:PTT,
  author =       "Robert Epstein",
  title =        "Parsing the {Turing Test}",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2007",
  ISBN =         "1-402-06708-9",
  ISBN-13 =      "978-1-402-06708-2",
  LCCN =         "????",
  bibdate =      "Mon Oct 15 11:59:48 MDT 2007",
  bibsource =    "z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
}

@Book{Patera:2007:MAH,
  author =       "Valeria Patera",
  title =        "La mela di {Alan}: hacking the {Turing} test:
                 cybertragicommedia",
  publisher =    "Di Renzo",
  address =      "Roma, Italy",
  pages =        "118",
  year =         "2007",
  ISBN-13 =      "978-888-323170-4",
  LCCN =         "????",
  bibdate =      "Mon Oct 15 11:35:28 MDT 2007",
  bibsource =    "z3950.loc.gov:7090/Voyager",
  series =       "Teatro",
  acknowledgement = ack-nhfb,
  remark =       "Play on Alan Mathison Turing (1912--1954),
                 mathematician.",
}

@Misc{Brown:2009:TAT,
  author =       "Prime Minister Gordon Brown",
  title =        "Treatment of Alan {Turing} was ``appalling''",
  howpublished = "UK Government Web site",
  day =          "10",
  month =        sep,
  year =         "2009",
  bibdate =      "Tue Sep 15 07:56:04 2009",
  note =         "Issued in response to a public appeal.",
  URL =          "http://www.number10.gov.uk/Page20571",
  acknowledgement = ack-nhfb,
}

@Article{Mishra:2009:TPW,
  author =       "Bud Mishra",
  title =        "Technical perspective: Where biology meets computing",
  journal =      j-CACM,
  volume =       "52",
  number =       "3",
  pages =        "96--96",
  month =        mar,
  year =         "2009",
  CODEN =        "CACMA2",
  DOI =          "http://doi.acm.org/10.1145/1467247.1467270",
  ISSN =         "0001-0782",
  bibdate =      "Wed Feb 25 09:20:24 MST 2009",
  bibsource =    "http://www.acm.org/pubs/contents/journals/cacm/",
  abstract =     "Alan Turing died in 1954 in his laboratory after
                 eating a cyanide-laced apple. Though Turing's mother
                 believed her son's death to be a result of the kind of
                 accidents that befalls absent-minded mathematicians
                 engaged in laboratory experiments, it is generally
                 assumed to be a suicide.",
  acknowledgement = ack-nhfb,
  remark =       "The article then goes on to sketch the evolution of
                 Turing's work in mathematical biology.",
}

%%% ====================================================================
%%% Cross-referenced entries must come last:

@Proceedings{Anonymous:1949:RCH,
  editor =       "Anonymous",
  booktitle =    "{Report on a Conference on High Speed Automatic
                 Computation, June 1949}",
  title =        "{Report on a Conference on High Speed Automatic
                 Computation, June 1949}",
  publisher =    "University Mathematical Laboratory, Cambridge
                 University",
  address =      "Cambridge, UK",
  pages =        "????",
  year =         "1949",
  LCCN =         "????",
  bibdate =      "Sun Nov 20 19:49:48 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  note =         "Inaugural conference of the EDSAC computer at the
                 Mathematical Laboratory, Cambridge, UK.",
  acknowledgement = ack-nhfb,
}

@Proceedings{Anonymous:1951:MUC,
  editor =       "Anonymous",
  booktitle =    "{Manchester University Computer: Inaugural Conference
                 held at the University on the 9th, 10th, 11th and 12th
                 July, 1951}",
  title =        "{Manchester University Computer: Inaugural Conference
                 held at the University on the 9th, 10th, 11th and 12th
                 July, 1951}",
  publisher =    "Tillotsons,",
  address =      "Bolton, UK",
  pages =        "40",
  year =         "1951",
  LCCN =         "????",
  bibdate =      "Fri Nov 25 15:15:20 2005",
  acknowledgement = ack-nhfb,
}

@Book{Feldman:1963:CTC,
  editor =       "Julian Feldman and Edward A Feigenbaum",
  booktitle =    "Computers and thought: a collection of articles",
  title =        "Computers and thought: a collection of articles",
  publisher =    pub-MCGRAW-HILL,
  address =      pub-MCGRAW-HILL:adr,
  pages =        "xvi + 535",
  year =         "1963",
  LCCN =         "Q 335.5 .F4 SMC",
  bibdate =      "Thu Nov 24 08:33:18 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 sirsi.library.utoronto.ca:2200/UNICORN",
  acknowledgement = ack-nhfb,
}

@Book{Davis:1965:UBP,
  author =       "Martin Davis",
  booktitle =    "The undecidable: basic papers on undecidable
                 propositions, unsolvable problems and computable
                 functions",
  title =        "The undecidable: basic papers on undecidable
                 propositions, unsolvable problems and computable
                 functions",
  publisher =    "Raven Press",
  address =      "New York, NY, USA",
  pages =        "439",
  year =         "1965",
  ISBN =         "0-911216-01-4",
  ISBN-13 =      "978-0-911216-01-1",
  LCCN =         "????",
  bibdate =      "Sat Nov 19 15:03:35 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{Meltzer:1972:MI,
  editor =       "Bernard Meltzer and Donald Michie",
  booktitle =    "Machine intelligence 7",
  title =        "Machine intelligence 7",
  publisher =    "Edinburgh University Press",
  address =      "Edinburgh, UK",
  pages =        "xiv + 485",
  year =         "1972",
  ISBN =         "0-85224-234-4",
  ISBN-13 =      "978-0-85224-234-6",
  LCCN =         "????",
  bibdate =      "Mon Nov 21 14:33:10 MST 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 library.ox.ac.uk:210/ADVANCE",
  acknowledgement = ack-nhfb,
  subject =      "Artificial intelligence; Congresses",
}

@Proceedings{STUG:1983:PUA,
  editor =       "{Software Tools Users Group}",
  booktitle =    "Proceedings: {USENIX} Association [and] Software Tools
                 Users Group Summer Conference, Toronto 1983, July 1983,
                 Toronto, Ontario, Canada",
  title =        "Proceedings: {USENIX} Association [and] Software Tools
                 Users Group Summer Conference, Toronto 1983, July 1983,
                 Toronto, Ontario, Canada",
  publisher =    pub-USENIX,
  address =      pub-USENIX-EL-CERRITO:adr,
  pages =        "xii + 443",
  year =         "1983",
  ISBN =         "????",
  ISBN-13 =      "????",
  LCCN =         "QA76.8.U65 U74 1983",
  bibdate =      "Mon Oct 26 08:42:38 1998",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 ftp://ftp.math.utah.edu/pub/tex/bib/usenix1980.bib",
  note =         "Sponsored by USENIX Association in cooperation with
                 Software Tools Users Group.",
  acknowledgement = ack-nhfb,
  keywords =     "UNIX (computer operating system) --- congresses",
}

@Proceedings{USENIX:1983:UCPb,
  editor =       "{USENIX Association}",
  booktitle =    "{USENIX Conference Proceedings, Winter, 1983. San
                 Diego, CA}",
  title =        "{USENIX Conference Proceedings, Winter, 1983. San
                 Diego, CA}",
  publisher =    pub-USENIX,
  address =      pub-USENIX:adr,
  month =        "Winter",
  year =         "1983",
  ISBN =         "????",
  ISBN-13 =      "????",
  LCCN =         "????",
  bibdate =      "Fri Oct 18 07:24:24 MDT 1996",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 ftp://ftp.math.utah.edu/pub/tex/bib/usenix1980.bib;
                 ftp://ftp.uu.net/library/bibliography",
  acknowledgement = ack-nhfb,
  location =     "San Diego, CA",
}

@Book{Turing:1992:PM,
  author =       "A. M. Turing",
  booktitle =    "Pure mathematics",
  title =        "Pure mathematics",
  publisher =    pub-NH,
  address =      pub-NH:adr,
  pages =        "xxii + 287",
  year =         "1992",
  ISBN =         "0-444-88059-3",
  ISBN-13 =      "978-0-444-88059-8",
  LCCN =         "????",
  MRclass =      "01A75 (03-03 03D40 62-03 68-03)",
  MRnumber =     "MR1150052 (93k:01094)",
  MRreviewer =   "A. A. Mullin",
  bibdate =      "Sat Nov 19 13:23:32 2005",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
                 ftp://ftp.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg-2ed.bib;
                 ftp://ftp.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib;
                 z3950.loc.gov:7090/Voyager",
  note =         "Edited and with an introduction and postscript by J.
                 L. Britton and Irvine John Good. With a preface by P.
                 N. Furbank",
  series =       "Collected Works of A. M. Turing",
  acknowledgement = ack-nhfb,
  author-dates = "1912--1954",
  subject =      "Mathematics",
}