@article(BarSch01b,
 author       = "Mike Barnett and Wolfram Schulte",
 year         = "2001",
 title        = "The {ABCs} of Specification: {AsmL}, Behavior, and Components",
 journal      = "Informatica (Slovenia)",
 volume       = "25",
 number       = "4",
 pages        = "517--526",
 note         = "Available at \url {http://research.microsoft.com/pubs/73061/TheABCsOfSpecification(Informatica2001).pdf} (viewed June 7, 2009)",
)
@article(same,
 author       = "Andreas Blass and Nachum Dershowitz and Yuri Gurevich",
 year         = "2009",
 title        = "When are Two Algorithms the Same?",
 journal      = "Bulletin of Symbolic Logic",
 volume       = "15",
 number       = "2",
 pages        = "145--168",
 doi          = "10.2178/bsl/1243948484",
 note         = "Available at \url {http://nachum.org/papers/WhenAreTwo.pdf} (viewed Mar. 27, 2011)",
)
@inproceedings(Exact,
 author       = "Andreas Blass and Nachum Dershowitz and Yuri Gurevich",
 year         = "2010",
 title        = "Exact Exploration and Hanging Algorithms",
 booktitle    = "Proceedings of the 19th EACSL Annual Conferences on Computer Science Logic (Brno, Czech Republic)",
 series       = "Lecture Notes in Computer Science",
 publisher    = "Springer",
 address      = "Berlin, Germany",
 pages        = "140--154",
 doi          = "10.1007/978-3-642-15205-4_14",
 note         = "Available at \url {http://nachum.org/papers/HangingAlgorithms.pdf} (viewed May 27, 2011); longer version at \burl {http://nachum.org/papers/ExactExploration.pdf} (viewed May 27, 2011)",
)
@article(Ord1,
 author       = "Andreas Blass and Yuri Gurevich",
 year         = "2006",
 title        = "Ordinary Interactive Small-Step Algorithms, {Part I}",
 journal      = "ACM Transactions on Computational Logic",
 volume       = "7",
 number       = "2",
 pages        = "363--419",
 doi          = "10.1145/1131313.1131320",
 note         = "Available at \url {http://tocl.acm.org/accepted/blass04.ps} (viewed May 21, 2009)",
)
@article(Ord2,
 author       = "Andreas Blass and Yuri Gurevich",
 year         = "2007",
 title        = "Ordinary Interactive Small-Step Algorithms, {Part II}",
 journal      = "ACM Transactions on Computational Logic",
 volume       = "8",
 number       = "3",
 doi          = "10.1145/1243996.1243998",
 note         = "Article 15. Available at \url {http://tocl.acm.org/accepted/blass2.pdf} (viewed May 21, 2009)",
)
@article(Ord3,
 author       = "Andreas Blass and Yuri Gurevich",
 year         = "2007",
 title        = "Ordinary Interactive Small-Step Algorithms, {Part III}",
 journal      = "ACM Transactions on Computational Logic",
 volume       = "8",
 number       = "3",
 doi          = "10.1145/1243996.1243999",
 note         = "Article 16. Available at \url {http://tocl.acm.org/accepted/250blass.pdf} (viewed May 21, 2009)",
)
@article(parallel,
 author       = "Andreas Blass and Yuri Gurevich",
 year         = "2008",
 title        = "Abstract State Machines Capture Parallel Algorithms: {Correction} and Extension",
 journal      = "ACM Transactions on Computation Logic",
 volume       = "9",
 number       = "3",
 doi          = "10.1145/1352582.1352587",
 note         = "Article 19. Available at \url {http://research.microsoft.com/en-us/um/people/gurevich/Opera/157-2.pdf} (viewed Aug. 11, 2010)",
)
@article(General1,
 author       = "Andreas Blass and Yuri Gurevich and Dean Rosenzweig and Benjamin Rossman",
 year         = "2007",
 title        = "Interactive Small-Step Algorithms, {Part I: Axiomatization}",
 journal      = "Logical Methods in Computer Science",
 volume       = "3",
 number       = "4",
 doi          = "10.2168/LMCS-3(4:3)2007",
 note         = "Paper 3. Available at \url {http://research.microsoft.com/~gurevich/Opera/176.pdf} (viewed June 5, 2009).",
)
@article(General2,
 author       = "Andreas Blass and Yuri Gurevich and Dean Rosenzweig and Benjamin Rossman",
 year         = "2007",
 title        = "Interactive Small-Step Algorithms, {Part II: Abstract} State Machines and the Characterization Theorem",
 journal      = "Logical Methods in Computer Science",
 volume       = "4",
 number       = "4",
 doi          = "10.2168/LMCS-3(4:4)2007",
 note         = "Paper 4. Available at \url {http://arxiv.org/pdf/0707.3789v2} (viewed July 17, 2011).",
)
@article(BGS,
 author       = "Andreas Blass and Yuri Gurevich and Saharon Shelah",
 year         = "2002",
 title        = "On Polynomial Time Computation over Unordered Structures",
 journal      = "Journal of Symbolic Logic",
 volume       = "67",
 number       = "3",
 pages        = "1093--1125",
 doi          = "10.2178/jsl/1190150152",
 note         = "Available at \url {http://research.microsoft.com/en-us/um/people/gurevich/Opera/150.pdf} (viewed July 13, 2011)",
)
@incollection(CTT,
 author       = "Udi Boker and Nachum Dershowitz",
 year         = "2008",
 title        = "The {Church}-{Turing} Thesis over Arbitrary Domains",
 editor       = "Arnon Avron and Nachum Dershowitz and Alexander Rabinovich",
 booktitle    = "Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday",
 series       = "Lecture Notes in Computer Science",
 volume       = "4800",
 publisher    = "Springer",
 pages        = "199--229",
 doi          = "10.1007/978-3-540-78127-1_12",
 note         = "Available at \url {http://nachum.org/papers/ArbitraryDomains.pdf} (viewed Aug. 11, 2010)",
)
@inproceedings(Three,
 author       = "Udi Boker and Nachum Dershowitz",
 year         = "2010",
 title        = "Three Paths to Effectiveness",
 editor       = "Andreas Blass and Nachum Dershowitz and Wolfgang Reisig",
 booktitle    = "Fields of Logic and Computation: {Essays} Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday",
 series       = "Lecture Notes in Computer Science",
 volume       = "6300",
 publisher    = "Springer",
 address      = "Berlin, Germany",
 pages        = "36--47",
 doi          = "10.1007/978-3-642-15025-8_7",
 note         = "Available at \url {http://nachum.org/papers/ThreePathsToEffectiveness.pdf} (viewed Aug. 11, 2010)",
)
@article(Boerger02a,
 author       = "Egon B\"orger",
 year         = "2002",
 title        = "The Origins and the Development of the {ASM} Method for High Level System Design and Analysis",
 journal      = "Journal of Universal Computer Science",
 volume       = "8",
 number       = "1",
 pages        = "2--74",
 doi          = "10.3217/jucs-008-01-0002",
 note         = "Available at \url {http://www.jucs.org/jucs_8_1/the_origins_and_the/Boerger_E.pdf} (viewed June 17, 2009)",
)
@article(Prolog,
 author       = "Egon B\"{o}rger and Dean Rosenzweig",
 year         = "1995",
 title        = "A Mathematical Definition of Full {Prolog}",
 journal      = "Science of Computer Programming",
 volume       = "24",
 pages        = "249--286",
 doi          = "10.1016/0167-6423(95)00006-E",
 note         = "Available at \url {ftp://www.eecs.umich.edu/groups/gasm/prolog.pdf} (viewed July 17, 2011)",
)
@inproceedings(Analog,
 author       = "Olivier Bournez and Nachum Dershowitz",
 year         = "2010",
 title        = "Foundations of Analog Algorithms",
 booktitle    = "Proceedings of the Third International Workshop on Physics and Computation (P\&C)",
 address      = "Nile River, Egypt",
 pages        = "85--94",
 note         = "Available at \url {http://nachum.org/papers/Analog.pdf} (viewed May 27, 2011)",
)
@inproceedings(TAMC,
 author       = "Olivier Bournez and Nachum Dershowitz and Evgenia Falkovich",
 year         = "2012",
 title        = "Towards an Axiomatization of Simple Analog Algorithms",
 editor       = "Manindra Agrawal and S. Barry Cooper and Angsheng Li",
 booktitle    = "Proceedings of the 9th Annual Conference on Theory and Applications of Models of Computation (TAMC 2012, Beijing, China)",
 series       = "Lecture Notes in Computer Science",
 volume       = "7287",
 publisher    = "Springer Verlag",
 pages        = "525--536",
 url          = "http://dx.doi.org/10.1007/978-3-642-29952-0_49",
 note         = "Available at \url {http://nachum.org/papers/SimpleAnalog.pdf} (viewed July 11, 2012)",
)
@inproceedings(ECCT,
 author       = "Nachum Dershowitz and Evgenia Falkovich",
 year         = "2011",
 title        = "A Formalization and Proof of the {Extended Church-Turing Thesis}",
 booktitle    = "Proceedings of the Seventh International Workshop on Developments in Computational Models (DCM 2011, July 2012, Zurich, Switzerland)",
 series       = "Electronic Proceedings in Theoretical Computer Science",
 note         = "Available at \url {http://nachum.org/papers/ECCT.pdf} (viewed July 15, 2011)",
)
@article(CT,
 author       = "Nachum Dershowitz and Yuri Gurevich",
 year         = "2008",
 title        = "A Natural Axiomatization of Computability and Proof of {Church's Thesis}",
 journal      = "Bulletin of Symbolic Logic",
 volume       = "14",
 number       = "3",
 pages        = "299--350",
 doi          = "10.2178/bsl/1231081370",
 note         = "Available at \url {http://nachum.org/papers/Church.pdf} (viewed Apr. 15, 2009)",
)
@inproceedings(Gandy,
 author       = "Robin Gandy",
 year         = "1980",
 title        = "Church's Thesis and Principles for Mechanisms",
 booktitle    = "The Kleene Symposium",
 series       = "Studies in Logic and the Foundations of Mathematics",
 volume       = "101",
 publisher    = "North-Holland",
 pages        = "123--148",
 doi          = "10.1016/S0049-237X(08)71257-6",
)
@incollection(Glausch,
 author       = "Andreas Glausch and Wolfgang Reisig",
 year         = "2009",
 title        = "An {ASM}-Characterization of a Class of Distributed Algorithms",
 editor       = "Jean-Raymond Abrial and Uwe Gl\"asser",
 booktitle    = "Rigorous Methods for Software Construction and Analysis",
 series       = "Lecture Notes in Computer Science",
 volume       = "5115",
 publisher    = "Springer",
 address      = "Berlin",
 pages        = "50--64",
 doi          = "10.1007/978-3-642-11447-2_4",
 note         = "Available at \url {http://www2.informatik.hu-berlin.de/top/download/publications/GlauschR2007_dagstuhl.pdf} (viewed Aug. 11, 2010)",
)
@article(Gold,
 author       = "E. Mark Gold",
 year         = "1965",
 title        = "Limiting Recursion",
 journal      = "J. Symbolic Logic",
 volume       = "30",
 number       = "1",
 pages        = "28--48",
 doi          = "10.2307/2270580",
)
@article(cacm:alg4,
 author       = "Saul Gorn",
 year         = "1960",
 title        = "Algorithms: Bisection Routine",
 journal      = "Communications of the ACM",
 volume       = "3",
 number       = "3",
 pages        = "174",
 doi          = "10.1145/367149.367173",
)
@inproceedings(Quantum,
 author       = "Erich {Gr\"adel} and Antje Nowack",
 year         = "2003",
 title        = "Quantum Computing and Abstract State Machines",
 booktitle    = "Proceedings of the 10th International Conference on Abstract State Machines: Advances in Theory and Practice (ASM '03; Taormina, Italy)",
 publisher    = "Springer-Verlag",
 address      = "Berlin",
 pages        = "309--323",
 doi          = "10.1007/3-540-36498-6_18",
 note         = "Available at \url {http://www.logic.rwth-aachen.de/pub/graedel/GrNo-asm03.ps} (viewed July 13, 2011)",
)
@incollection(Gurevich94b,
 author       = "Yuri Gurevich",
 year         = "1995",
 title        = "Evolving Algebras 1993: {Lipari} Guide",
 editor       = "Egon B{\"o}rger",
 booktitle    = "Specification and Validation Methods",
 publisher    = "Oxford University Press",
 pages        = "9--36",
 note         = "Available at \url {http://research.microsoft.com/~gurevich/opera/103.pdf} (viewed Apr. 15, 2009)",
)
@article(Gurevich00,
 author       = "Yuri Gurevich",
 year         = "2000",
 title        = "Sequential Abstract State Machines Capture Sequential Algorithms",
 journal      = "ACM Transactions on Computational Logic",
 volume       = "1",
 number       = "1",
 pages        = "77--111",
 doi          = "10.1145/343369.343384",
 note         = "Available at \url {http://research.microsoft.com/~gurevich/opera/141.pdf} (viewed Apr. 15, 2009)",
)
@article(AsmL,
 author       = "Yuri Gurevich and Benjamin Rossman and Wolfram Schulte",
 year         = "2005",
 title        = "Semantic Essence of {AsmL}",
 journal      = "Theoretical Computer Science",
 volume       = "343",
 number       = "3",
 pages        = "370--412",
 doi          = "10.1016/j.tcs.2005.06.017",
 note         = "Available at \url {http://research.microsoft.com/~gurevich/opera/169.pdf} (viewed June 7, 2009)",
)
@techreport(GuScVe01b,
 author       = "Yuri Gurevich and Wolfram Schulte and Margus Veanes",
 year         = "2001",
 title        = "Toward Industrial Strength Abstract State Machines",
 type         = "Technical Report",
 number       = "MSR-TR-2001-98",
 institution  = "Microsoft Research",
 note         = "Available at \url {http://research.microsoft.com/en-us/um/people/gurevich/opera/155.pdf} (viewed Aug. 11, 2010)",
)
@techreport(GY,
 author       = "Yuri Gurevich and Tatiana Yavorskaya",
 year         = "2006",
 title        = "On Bounded Exploration and Bounded Nondeterminism",
 type         = "Technical Report",
 number       = "MSR-TR-2006-07",
 institution  = "Microsoft Research",
 note         = "Available at \url {http://research.microsoft.com/~gurevich/opera/177.pdf} (viewed Apr. 15, 2009)",
)
@article(Harel,
 author       = "David Harel",
 year         = "1980",
 title        = "On Folk Theorems",
 journal      = "Communications of the ACM",
 volume       = "23",
 number       = "7",
 pages        = "379--389",
 doi          = "10.1145/358886.358892",
)
@book(Kleene67,
 author       = "Stephen C. Kleene",
 year         = "1967",
 title        = "Mathematical Logic",
 publisher    = "Wiley",
 address      = "New York",
)
@article(Kleene87,
 author       = "Stephen C. Kleene",
 year         = "1987",
 title        = "Reflections on {Church's} Thesis",
 journal      = "Notre Dame Journal of Formal Logic",
 volume       = "28",
 number       = "4",
 pages        = "490--498",
 doi          = "10.1305/ndjfl/1093637645",
)
@incollection(Post,
 author       = "Emil L. Post",
 year         = "1994",
 title        = "Absolutely Unsolvable Problems and Relatively Undecidable Propositions: {Account} of an Anticipation",
 editor       = "M. Davis",
 booktitle    = "Solvability, Provability, Definability: The Collected Works of {Emil L. Post}",
 publisher    = "{Birkha\"user}",
 address      = "Boston, MA",
 pages        = "375--441",
 note         = "Unpublished paper, 1941",
)
@article(Putnam,
 author       = "Hilary Putnam",
 year         = "1965",
 title        = "Trial and Error Predicates and the Solution to a Problem of {Mostowski}",
 journal      = "J. Symbolic Logic",
 volume       = "30",
 number       = "1",
 pages        = "49--57",
 doi          = "10.2307/2270581",
)
@article(Reisig04,
 author       = "Wolfgang Reisig",
 year         = "2003",
 title        = "On {Gurevich's} Theorem on Sequential Algorithms",
 journal      = "Acta Informatica",
 volume       = "39",
 number       = "4",
 pages        = "273--305",
 doi          = "10.1007/s00236-002-0106-3",
 note         = "Available at \url {http://www2.informatik.hu-berlin.de/top/download/publications/Reisig2003_ai395.pdf} (viewed Aug. 11, 2010)",
)
@article(ComputableKernel,
 author       = "Wolfgang Reisig",
 year         = "2008",
 title        = "The Computable Kernel of {Abstract State Machines}",
 journal      = "Theoretical Computer Science",
 volume       = "409",
 number       = "1",
 pages        = "126--136",
 doi          = "10.1016/j.tcs.2008.08.041",
 note         = "Draft available at \url {http://www2.informatik.hu-berlin.de/top/download/publications/Reisig2004_hub_tr177.pdf} (viewed Aug. 11, 2010)",
)
@book(Rogers,
 author       = "Hartley Rogers, Jr.",
 year         = "1966",
 title        = "Theory of Recursive Functions and Effective Computability",
 publisher    = "McGraw-Hill",
 address      = "New York",
)
@phdthesis(Spielmann,
 author       = "Marc Spielmann",
 year         = "2000",
 title        = "Abstract State Machines: Verification Problems and Complexity",
 type         = "{Ph.D.} thesis",
 school       = "RWTH Aachen",
 address      = "Aachen, Germany",
 note         = "Available at \url {http://www-mgi.informatik.rwth-aachen.de/~spielmann/diss.pdf} (viewed July 13, 2011)",
)
@article(Turing,
 author       = "Alan M. Turing",
 year         = "1936--37",
 title        = "On Computable Numbers, With an Application to the {Entscheidungsproblem}",
 journal      = "Proceedings of the London Mathematical Society",
 volume       = "42",
 pages        = "230--265",
 doi          = "10.1112/plms/s2-42.1.230",
 note         = "Corrections in vol. 43 (1937), pp. 544-546. Reprinted in M. Davis (ed.), {\it The Undecidable}, Raven Press, Hewlett, NY, 1965. Available at \url {http://www.abelard.org/turpap2/tp2-ie.asp}",
)