@article(AstesianoBKKMST02,
 author       = "Egidio Astesiano and Michel Bidoit and H{\'e}l{\`e}ne Kirchner and Bernd Krieg-Br{\"u}ckner and Peter D. Mosses and Donald Sannella and Andrzej Tarlecki",
 year         = "2002",
 title        = "{CASL:} the Common Algebraic Specification Language",
 journal      = "Theor. Comput. Sci.",
 volume       = "286",
 number       = "2",
 pages        = "153--196",
)
@article(BarwiseM78,
 author       = "Jon Barwise and Yanis Moschovakis",
 year         = "1978",
 title        = "Global inductive definability",
 journal      = "Journal of Symbolic Logic",
 volume       = "43",
 pages        = "521--534",
)
@book(Buss86,
 author       = "Samuel Buss",
 year         = "1986",
 title        = "Bounded Arithmetic",
 publisher    = "Bibliopolis",
 address      = "Naples",
)
@article(DowekHK03,
 author       = "Gilles Dowek and Th{\'e}r{\`e}se Hardin and Claude Kirchner",
 year         = "2003",
 title        = "Theorem Proving Modulo",
 journal      = "J. Autom. Reasoning",
 volume       = "31",
 number       = "1",
 pages        = "33--72",
)
@inproceedings(EndrullisGHIK07,
 author       = "J{\"o}rg Endrullis and Clemens Grabmayer and Dimitri Hendriks and Ariya Isihara and Jan Willem Klop",
 year         = "2007",
 title        = "Productivity of Stream Definitions",
 editor       = "Erzs{\'e}bet Csuhaj-Varj{\'u} and Zolt{\'a}n {\'E}sik",
 booktitle    = "FCT",
 series       = "Lecture Notes in Computer Science",
 volume       = "4639",
 publisher    = "Springer",
 pages        = "274--287",
 doi          = "10.1007/978-3-540-74240-1\_24",
)
@inproceedings(Fagin74,
 author       = "Ronald Fagin",
 year         = "1974",
 title        = "Generalized first order spectra and polynomial time recognizable sets",
 editor       = "R. Karp",
 booktitle    = "Complexity of Computation",
 publisher    = "SIAM-AMS",
 pages        = "43--73",
)
@inproceedings(Immerman89,
 author       = "Neil Immerman",
 year         = "1989",
 title        = "Descriptive and Computational Complexity",
 booktitle    = "FCT",
 pages        = "244--245",
)
@article(JonesS74,
 author       = "N.G. Jones and A.L. Selman",
 year         = "1974",
 title        = "Turing machines and the spectra of first-order formulas",
 journal      = "Journal of Symbolic Logic",
 volume       = "39",
 pages        = "139--150",
)
@book(Kleene69,
 author       = "Stephen C.\ Kleene",
 year         = "1969",
 title        = "Formalized Recursive Functions and Formalized Realizability",
 series       = "Memoirs of the AMS",
 volume       = "89",
 publisher    = "American Mathematical Society",
 address      = "Providence",
)
@article(Leivant-foundational,
 author       = "Daniel Leivant",
 year         = "1994",
 title        = "A foundational delineation of poly-time",
 journal      = "Information and Computation",
 volume       = "110",
 pages        = "391--420",
)
@inproceedings(Leivant-LCC,
 author       = "Daniel Leivant",
 year         = "1995",
 title        = "Intrinsic theories and computational complexity",
 editor       = "D. Leivant",
 booktitle    = "Logic and Computational Complexity",
 series       = "LNCS",
 publisher    = "Springer-Verlag",
 address      = "Berlin",
 pages        = "177--194",
)
@article(Leivant-intrinsic,
 author       = "Daniel Leivant",
 year         = "2002",
 title        = "Intrinsic reasoning about functional programs {I}: {F}irst order theories",
 journal      = "Annals of Pure and Applied Logic",
 volume       = "114",
 pages        = "117--153",
 doi          = "10.1016/S0168-0072(01)00078-1",
)
@article(Leivant-unipolar,
 author       = "Daniel Leivant",
 year         = "2004",
 title        = "Intrinsic reasoning about functional programs {II}: unipolar induction and primitive-recursion",
 journal      = "Theor. Comput. Sci.",
 volume       = "318",
 number       = "1-2",
 pages        = "181--196",
 doi          = "10.1016/j.tcs.2003.11.002",
)
@article(Moschovakis89,
 author       = "Yiannis N. Moschovakis",
 year         = "1989",
 title        = "The Formal Language of Recursion",
 journal      = "J. Symb. Log.",
 volume       = "54",
 number       = "4",
 pages        = "1216--1252",
 doi          = "10.2307/2274814",
)
@article(MossakowskiSRR06,
 author       = "Till Mossakowski and Lutz Schr{\"o}der and Markus Roggenbach and Horst Reichel",
 year         = "2006",
 title        = "Algebraic-coalgebraic specification in {CoCasl}",
 journal      = "J. Log. Algebr. Program.",
 volume       = "67",
 number       = "1-2",
 pages        = "146--197",
 doi          = "10.1016/j.jlap.2005.09.006",
 url          = "http://dx.doi.org/10.1016/j.jlap.2005.09.006",
)
@book(Mosses04,
 author       = "Peter D. Mosses",
 year         = "2004",
 title        = "CASL Reference Manual, The Complete Documentation of the Common Algebraic Specification Language",
 series       = "Lecture Notes in Computer Science",
 volume       = "2960",
 publisher    = "Springer",
 doi          = "10.1007/b96103",
)
@article(Padawitz00,
 author       = "Peter Padawitz",
 year         = "2000",
 title        = "Swinging types=functions+relations+transition systems",
 journal      = "Theor. Comput. Sci.",
 volume       = "243",
 number       = "1-2",
 pages        = "93--165",
 doi          = "10.1016/S0304-3975(00)00171-7",
)
@incollection(Parsons70,
 author       = "Charles Parsons",
 year         = "1970",
 title        = "On a number-theoretic choice schema and its relation to induction",
 editor       = "A.\ Kino and J.\ Myhill and R.\ Vesley",
 booktitle    = "Intuitionism and Proof Theory",
 publisher    = "North-Holland",
 address      = "Amsterdam",
 pages        = "459--473",
 doi          = "10.1016/S0049-237X(08)70771-7",
)
@book(Prawitz65,
 author       = "D. Prawitz",
 year         = "1965",
 title        = "Natural Deduction",
 publisher    = "Almqvist and Wiksell",
 address      = "Uppsala",
)
@inproceedings(Reichel99,
 author       = "Horst Reichel",
 year         = "1999",
 title        = "A Uniform Model Theory for the Specification of Data and Process Types",
 editor       = "Didier Bert and Christine Choppy and Peter D. Mosses",
 booktitle    = "WADT",
 series       = "Lecture Notes in Computer Science",
 volume       = "1827",
 publisher    = "Springer",
 pages        = "348--365",
 doi          = "10.1007/978-3-540-44616-3\_20",
)
@article(RotheTJ01,
 author       = "Jan Rothe and Hendrik Tews and Bart Jacobs",
 year         = "2001",
 title        = "The Coalgebraic Class Specification Language {CCSL}",
 journal      = "J. UCS",
 volume       = "7",
 number       = "2",
 pages        = "175--193",
 url          = "http://www.jucs.org/jucs_7_2/the_coalgebraic_class_specification",
)
@article(Schroder08,
 author       = "Lutz Schr{\"o}der",
 year         = "2008",
 title        = "Bootstrapping Inductive and Coinductive Types in {HasCASL}",
 journal      = "Logical Methods in Computer Science",
 volume       = "4",
 number       = "4",
 doi          = "10.2168/LMCS-4(4:17)2008",
 url          = "http://dx.doi.org/10.2168/LMCS-4(4:17)2008",
)
@article(Sijtsma89,
 author       = "Ben A. Sijtsma",
 year         = "1989",
 title        = "On the Productivity of Recursive List Definitions",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "11",
 number       = "4",
 pages        = "633--649",
 doi          = "10.1145/69558.69563",
)
@inproceedings(Tarski52,
 author       = "Alfred Tarski",
 year         = "1952",
 title        = "Some notions and methods on the borderline of algebra and metamathematics",
 booktitle    = "Proceedings of the International Congress of Mathematicians I",
 publisher    = "American Mathematical Society",
 address      = "Providence, RI",
 pages        = "705--720",
)