@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",
 volume       = "6247",
 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 June 3, 2011); longer version at \burl {http://nachum.org/papers/ExactExploration.pdf} (viewed May 27, 2011)",
)
@article(Simulation,
 author       = "Udi Boker and Nachum Dershowitz",
 year         = "2006",
 title        = "Comparing Computational Power",
 journal      = "Logic Journal of the IGPL",
 volume       = "14",
 number       = "5",
 pages        = "633--648",
 doi          = "10.1007/978-3-540-78127-1",
)
@incollection(CT_ASM,
 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-642-15205-4\_14",
 note         = "Available at \url {http://nachum.org/papers/ArbitraryDomains.pdf} (viewed Aug. 11, 2010)",
)
@article(RAM,
 author       = "Stephen~A. Cook and Robert~A. Reckhow",
 year         = "1973",
 title        = "Time-Bounded Random Access Machines",
 journal      = "Journal of Computer Systems Science",
 volume       = "7",
 pages        = "73--80",
 doi          = "10.1145/800152.804898",
 note         = "Available at \url {http://www.cs.berkeley.edu/~christos/classics/Deutsch\_quantum\_theory.pdf} (viewed June 3, 2011)",
)
@inproceedings(Generic,
 author       = "Nachum Dershowitz",
 year         = "2012",
 title        = "The Generic Model of Computation",
 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/Generic.pdf} (viewed July 13, 2012)",
)
@article(BSL,
 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)",
)
@incollection(Lipari,
 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(ASM-Theorem-Gurevich,
 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(Parberry,
 author       = "Ian Parberry",
 year         = "1986",
 title        = "Parallel Speedup of Sequential Machines: {A} Defense of Parallel Computation Thesis",
 journal      = "SIGACT News",
 volume       = "18",
 number       = "1",
 pages        = "54--67",
 doi          = "10.1145/8312.8317",
)
@incollection(TermGraph,
 author       = "Detlef Plump",
 year         = "1999",
 title        = "Term Graph Rewriting",
 editor       = "H.~Ehrig and G.~Engels and H.-J. Kreowski and G.~Rozenberg",
 booktitle    = "Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages and Tools",
 chapter      = "1",
 volume       = "volume 2",
 publisher    = "World Scientific",
 pages        = "3--61",
 doi          = "10.1142/9789812815149",
 note         = "Available at \url {http://www.informatik.uni-bremen.de/agbkb/lehre/rbs/texte/Termgraph rewriting.pdf} (viewed June 3, 2011)",
)
@article(dagRepr,
 author       = "Comandure Seshadhri and Anil Seth and Somenath Biswas",
 year         = "2007",
 title        = "RAM Simulation of {BGS} Model of Abstract-State-Machines",
 journal      = "Fundamenta Informaticae",
 volume       = "77",
 number       = "1--2",
 pages        = "175--185",
 note         = "Available at \url {http://www.cse.iitk.ac.in/users/sb/papers/asm2ram.pdf} (viewed June 3, 2011)",
)