%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.13",
%%%     date            = "15 October 2007",
%%%     time            = "12:25:42 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        = "09493 5640 24076 239352",
%%%     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.
%%%
%%%                        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.14, 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 (   6)
%%%                             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 (   3)    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 (   8)
%%%                             1955 (   0)    1980 (   3)    2005 (  11)
%%%                             1956 (   0)    1981 (   1)    2006 (  11)
%%%                             1957 (   0)    1982 (   0)    2007 (   3)
%%%                             1958 (   0)    1983 (   6)
%%%                             1959 (   1)    1984 (   5)
%%%
%%%                             Article:         62
%%%                             Book:           107
%%%                             InCollection:     3
%%%                             InProceedings:    5
%%%                             Manual:           1
%%%                             Misc:            17
%%%                             PhdThesis:        3
%%%                             Proceedings:      5
%%%                             TechReport:      15
%%%
%%%                             Total entries:  218
%%%
%%%                        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 =         "????",
  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,
}

@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{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 =      "Mon Oct 15 11:47:24 MDT 2007",
  bibsource =    "melvyl.cdlib.org:210/CDL90",
  acknowledgement = ack-nhfb,
  subject =      "Turing, Alan Mathison; Mathematicians; Great Britain;
                 Biography",
  subject-dates = "1912--1954",
}

@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 L