@STRING{cahiers = "Cah\-iers de Topo\-lo\-gie et G\'e\-o\-m\'e\-trie
Dif\-f\'e\-ren\-ti\-elle Cat\-\'e\-go\-rique"
}

@STRING{oldcahiers = "Cah\-iers de Topo\-lo\-gie et G\'e\-o\-m\'e\-trie
Dif\-f\'e\-ren\-ti\-elle"
}

@STRING{ams = "Ameri\-can Mathe\-mati\-cal Society"}

@STRING{lnm = "Lec\-ture Notes in Math\-e\-ma\-tics"}

@STRING{lncs = "Lec\-ture Notes in Com\-pu\-ter Sci\-ence"}

@STRING{jpaa = "Journal of Pure and Applied Algebra"}

@STRING{springer = "Sprin\-ger-Ver\-lag"}

@STRING{diagrammes = "Dia\-gram\-mes"}

@STRING{esquisses = "Esquis\-ses Math\'e\-ma\-tiques"}

@STRING{MSCS = "Mathematical Structures in Computer Science"}

@PROCEEDINGS{mfps13,
editor = "Brookes, Stephen and Michael W. Mislove",
title = "Mathematical Foundations of Programming Semantics, Thirteenth
Annual Conference",
booktitle = "Mathematical Foundations of Programming Semantics, Thirteenth
Annual Conference",
year = "1997",
publisher = "Elsevier",
howpublished = "Available by web browser from {\tt
http://www.elsevier.nl\slash locate\slash 1entcs}",
}


@BOOK{sln236,
editor = "Barr, Michael and Pierre A. Grillet and van Osdol, Donovan H.",
title = "Exact categories and Categories of Sheaves",
booktitle = "Exact categories and Categories of Sheaves",
year = "1971",
publisher = "Springer Verlag",
series = "Springer Lecture Notes in Mathematics",
volume = "236",
}

@BOOK{arbook,
author="Ad\'amek, Ji\v{r}i and Ji\v{r}i Rosicky",
title = "Locally Presentable and Accessible Categories",
publisher = "Cambridge University Press",
year = 1994,
}



@BOOKLET{vmp,
author = "Atish Bagchi and Charles Wells",
title = "The
varieties of mathematical
prose",
howpublished = "Available by web browser from
{\tt http://www.cwru.edu\slash CWRU\slash Dept\slash
Artsci\slash math\slash wells\slash pub\slash papers.html}",
year = 1996,
}


@BOOKLET{logstr,
author = "Atish Bagchi and Charles Wells",
title = "Graph-based Logic and Sketches {I}: The General Framework",
howpublished = "MSRI Preprint \#1995-006,
{\tt http://www.msri.org/communications/preprints/online/1995-006.html}",
year = 1995, }

@BOOKLET{logstr2,
author = "Atish Bagchi and Charles Wells",
title = "Graph-based Logic and Sketches {II}: Finite Product
Categories and Equational Logic",
howpublished = "MSRI Preprint \#1996-092,
{\tt http://www.msri.org/communications/preprints/online/1996-092.html}",
year = 1996, }

@INCOLLECTION{barrexact,
author = "Barr, Michael",
title = "Exact categories",
crossref = "sln236",
}

@ARTICLE{barrmodsketch,
author = "Barr, Michael",
title = "Models of Sketches",
journal = cahiers,
year = "1986",
volume = "27",
pages = "93--107",
}

@ARTICLE{barrhornth,
author = "Barr, Michael",
title = "Models of {H}orn Theories",
journal = "Contemporary Mathematics",
year = "1989",
volume = "92",
pages = "1--7",
}

@BOOK{ttt,
author = "Barr, Michael and Charles Wells",
title = "Toposes, Triples and Theories",
publisher = springer,
year = "1985",
series = "Grundlehren der mathematischen Wissenschaften",
volume = "278",
address = "New York",
note = "A list of corrections and additions is maintained in
\cite{tttcorr}.",
}

@BOOKLET{tttcorr,
author = "Barr, Michael and Charles Wells",
title = "Corrections to {T}oposes, {T}riples and {T}heories",
year = "1993",
note = "Corrections
and additions to \cite{ttt}.",
howpublished = "Available at
{\tt http://www.cwru.edu\slash CWRU\slash Dept\slash
Artsci\slash math\slash wells\slash pub\slash papers\pd html}",
}

@BOOK{ctcs,
author = "Barr, Michael and Charles Wells",
title = "Category Theory for
Computing Science, third edition",
publisher = "Les Publications CRM",
year = "1999",
address = "Montr\'eal",
note = "Available for purchase from the website at
\texttt{http://crm.umontreal.ca\slash pub\slash Ventess\slash
CatalogueEng\pd html}"
}

@BOOKLET{ctcsup,
author = "Barr, Michael and Charles Wells",
title = "Category {T}heory for {C}omputing {S}cience: Update",
year = "1993",
note = "Corrections
and additions to the first edition of \cite{ctcs}",
howpublished = "Available by web browser from
{\tt http://www.cwru.edu\slash
CWRU\slash Dept\slash Artsci\slash math\slash
wells\slash pub\slash papers.html}",
}


@ARTICLE{limsk,
author = "Barr, Michael and Charles Wells",
title = "On the limitations of sketches",
journal = "Canadian Mathematical Bulletin",
year = "1992",
volume = "35",
pages = "287--294",
}

@BOOKLET{diagc,
author = "Barr, Michael and Charles Wells",
title = "The Category of Diagrams",
year = "1993",
howpublished = "Available by web browser from
{\tt http://www.cwru.edu\slash CWRU\slash Dept\slash
Artsci\slash math\slash wells\slash pub\slash papers.html}",
}

@ARTICLE{bastehres,
author = "Bastiani, Andr\'ee and Charles Ehresmann",
title = "Categories of Sketched Structures",
journal = oldcahiers,
year = "1972",
volume = "13",
pages = "104-213",
}

@ARTICLE{burr,
author = "Burroni, Albert",
title = "Esquis\-ses des cat\'e\-gories \`a limites et des quasi-topologies",
journal = esquisses,
year = "1970",
volume = "5",
}


@ARTICLE{burr70,
author = "Burroni, E.",
title = "Cat\'e\-go\-ries Dis\-crete\-ment Struc\-tur\'ees",
journal = esquisses,
year = "1970",
volume = "5",
}

@ARTICLE{cartmell86,
author = "Cartmell, J.",
title = "Generalized Algebraic Theories and Contextual Categories",
journal = "Annals Pure Applied Logic",
year = "1986",
volume = "32",
pages = "209--243",
note = "A different approach to models of finite limit
theories.",
}

@ARTICLE{coppeylair88,
author = "Coppey, L. and C. Lair",
title = "Le\c cons de Th\'eorie des Esquis\-ses, Partie~{II}",
journal = diagrammes,
year = "1988",
volume = "19",
}

@ARTICLE{duvrey1,
author = "Duval, Dominique and Jean-Claude Reynaud",
title = "Sketches and computation (1)",
journal = MSCS,
year = "1994",
}

@ARTICLE{duvrey2,
author = "Duval, Dominique and Jean-Claude Reynaud",
title = "Sketches and computation (2)",
journal = MSCS,
year = "1994",
}

@ARTICLE{duvsen,
author = "Duval, Dominique and Pascale S\'en\'echaud",
title = "Sketches and parametrization",
journal =TCS,
year = "1994",
}



@BOOK{EFT,
author = "Ebbinghaus, H.-D. and  J. Flum and W.
Thomas",
title = "Mathe\-ma\-ti\-cal Logic",
publisher = springer,
year = "1984",
}

@TECHREPORT{ehrkan,
author = "Ehresmann, Charles",
title = "Introduction to the Theory of Structured Categories",
institution = "University of Kansas",
number = "10",
year = "1966",
}

@ARTICLE{csg,
author = "Ehresmann, Charles",
title = "Cat\'e\-gories struc\-tur\'ees g\'en\'e\-ralis\'es",
journal = oldcahiers,
volume = "X",
year = "1968",
pages = "139--168",
}



@ARTICLE{ehres68,
author = "Ehresmann, Charles",
title = "Esquis\-ses et types des struc\-tu\-res alg\'ebri\-ques",
journal = "Bul. Inst. Polit. Ia\c si",
volume = "XIV",
year = "1968",
}

@ARTICLE{eilmaclane,
author = "Eilenberg, Samuel and Saunders {Mac Lane}",
title = "General Theory of Natural Equivalences",
journal = "Trans. Amer. Math. Soc.",
year = "1945",
volume = "58",
pages = "231--244",
}


@INCOLLECTION{fourvick,
author = "Fourman, Michael  and S. Vickers",
title = "Theories as categories",
booktitle = "Category Theory and Computer
Programming",
editor = "Pitt, D. and others",
series = lncs,
volume = "240",
publisher = springer,
year = "1986",
pages = "434--448",
}

@ARTICLE{freyd66,
author = "Freyd, Peter",
title = "Algebra valued functors in general
and tensor products in particular",
journal = "Colloquium
Mathematicum",
volume = "14",
year = "1966",
pages = "89--106",
}

@INCOLLECTION{gogburst,
author = "Goguen, Joseph A. and R. M. Burstall",
title = "A Study in the Foundations of Programming Methodology:
Specifications,
Institutions, Charters and Parchments",
editor = "Pitt, D. and others",
booktitle = "Category Theory and Computer Programming",
series = lncs,
volume = "240",
publisher = springer,
year = "1986",
pages = "313--333",
}

@TECHREPORT{gogmes,
author = "Goguen, Joseph A.  and Jos\'e Meseguer",
title = "Completeness of
Many-Sorted Equational Logic",
number = "CSL-135",
institution = "SRI International
Computer Science Laboratory, 333 Ravenswood Ave., Menlo Park, CA 94025,
USA",
year = "1982",
}

@ARTICLE{gray87,
author = "Gray, J. W.",
title = "Categorical Aspects of Data Type Constructors",
journal = "Theoretical Computer Science",
year = "1987",
volume = "50",
pages = "103--135",
}

@INPROCEEDINGS{gray89,
author = "Gray, J. W.",
title = "The Category of Sketches as a Model for Algebraic Semantics",
pages = "109--135",
editor = "John W. Gray
and Andre Scedrov",
booktitle = "Categories in Computer Science and Logic",
series = "Contemporary Mathematics",
publisher = ams,
volume = "92",
year = "1989",
}


@ARTICLE{gray90,
author = "Gray, John W.",
title = "Executable Specifications for Data-Type Constructors",
journal = diagrammes,
year = "1990",
volume = "24",
pages = "7--31",
}


@ARTICLE{guit74,
author = "Ren\'e Guitart",
title = "Remarques sur les machines et les
        structures",
journal = cahiers,
volume = "15",
year = "1974",
}

@ARTICLE{guit77,
author = "Guitart, Ren\'e  and Van den Bril , Luc",
title = "Decompositions
        et lax-completions",
journal = cahiers,
volume = "18",
year = "1977",
}


@ARTICLE{guitartlair80,
author = "Guitart, Ren\'e and Christian Lair",
title = "Calcul Syntaxique des Mod\`eles et Calcul des Formules Internes",
journal = diagrammes,
year = "1980",
volume = "4",
}

@ARTICLE{guitartlairrep,
author = "Guitart, Ren\'e and Christian Lair",
title = "Limites et Co-limites pour
Repre\-senter les For\-mu\-les",
journal = diagrammes,
year = "1982",
volume = "7",
}

@INPROCEEDINGS{kpt,
author = "Kinoshita, Yoshiki and John Power and Makoto Takeyama",
title = "Sketches",
crossref = "mfps13",
}


@ARTICLE{kellyess,
author = "Kelly, G.M.",
title = "On the Essentially-Algebraic Theory Generated by a Sketch",
journal = "Bulletin of the Australian Mathematical Society",
year = "1982",
volume = "26",
pages = "45--56",
}

@BOOKLET{kocklimmon,
author = "Anders Kock",
title = "Limit Monads in
Categories",
howpublished = "Aarhus Preprint Series",
year = "1967",
number = "6",
}

@ARTICLE{lairfoncomis,
author = "Lair, Christian",
title = "Fonc\-teurs d'omis\-sion de Struc\-tures Alg\'e\-bri\-ques",
journal = oldcahiers,
year = "1971",
volume = "12",
pages = "447--486",
}

@ARTICLE{lairtrames,
author = "Lair, Christian",
title = "Tra\-mes et Seman\-ti\-ques Cat\'ego\-ri\-ques des Syst\`emes de
Tra\-mes",
journal = diagrammes,
year = "1987",
volume = "18",
}


@INCOLLECTION{lambekscott84,
author = "Lambek, Joachim and P. Scott",
title = "Aspects of Higher Order Categorical Logic",
pages = "145--174",
editor = "Gray, J.W.",
booktitle = "Mathematical Applications of Category Theory",
series = "Contemporary Mathematics",
publisher = ams,
volume = "30",
year = "1984",
}

@BOOK{lambekscottbook,
author = "Lambek, Joachim and P. Scott",
title = "Introduction to Higher Order Categorical Logic",
publisher = "Cambridge University Press",
series = "Cambridge Studies in Advanced Mathematics",
volume = "7",
year = "1986",
}

@PHDTHESIS{lawverefuncsem,
author = "Lawvere, F.W.",
title = " Functorial Semantics of Algebraic Theories",
school = "Columbia University",
year = "1963",
}

@INPROCEEDINGS{linton66,
author = "Linton, F.E.J",
title = "Some Aspects of Equational Categories",
editor = "Eilenberg, S. and others",
booktitle = "Proceedings of the Conference on
Categorical Algebra at La Jolla",
publisher = springer,
year = "1966",
}

@INCOLLECTION{lintonoutline,
author = "Linton, F.E.J.",
title = "An Outline of Functional Semantics",
pages = "7--52",
booktitle = "Seminar on Triples and Categorical Homology
Theory",
series = "Lecture Notes in Mathematics",
volume = "80",
year = "1969",
publisher = springer,
}
@INCOLLECTION{lintonapplied,
author = "Linton, F.E.J.",
title = "Applied Functorial Semantics",
pages = "53--74",
booktitle = "Seminar on Triples and Categorical Homology
Theory",
series = "Lecture Notes in Mathematics",
volume = "80",
year = "1969",
publisher = springer,
}

@BOOKLET{msdp,
author = "Makkai, Michael",
title =  "Generalized Sketches as a Framework for Completeness
Theorems",
year = "1993",
note = "Journal of Pure and Applied Algebra, to appear",
}

@BOOKLET{maksyn,
author = "Makkai, Michael",
title =  "The Syntax of Categorical Logic",
year = "1993",
note = "Preprint, McGill University",
}

@BOOK{makkaipare,
author = "Makkai, Michael and R. Par\'e",
title = "Accessible Categories: the Foundations of Categorical
Model Theory",
series = "Contemporary Mathematics",
volume = "104",
year = "1990",
publisher = "American Mathematical Society",
}

@BOOK{makkaireyes,
author = "Makkai, Michael and Gonzalo Reyes",
title = "First Order Categorical Logic",
publisher = springer,
series = "Lecture Notes in Mathematics",
volume = "611",
year = "1977",
}

@BOOK{manesalgth,
author = "Manes, E.",
title = "Algebraic Theories",
publisher = springer,
series = "Graduate Texts in Mathematics",
volume = "26",
year = "1975",
}

@ARTICLE{macst2,
author = "McDonald, John L. and Arthur Stone",
title = "Topoi over graphs",
journal = oldcahiers,
year = "1984",
volume = "XXV",
}


@ARTICLE{mclartyleftexact,
author = "McLarty, Colin",
title = "Left Exact Logic",
journal = "J. Pure Applied Algebra",
year = "1986",
volume = "41",
pages = "63--66",
}

@BOOK{mendelson,
author = "Mendelson",
title = "Mathematical logic",
pubisher = "Find out the publisher",
year = "1980",
note = "Complete and correct this entry!",
}


@TECHREPORT{GL,
author = "Meseguer, Jos\'e ",
title = "General Logics",
number = "CSL-89-5",
institution = "SRI International
Computer Science Laboratory, 333 Ravenswood Ave., Menlo Park, CA 94025,
USA",
year = "1989",
}

@ARTICLE{powerwells,
author = "Power, A.J. and Charles Wells",
title = "A Formalism for the Specification of Essentially
Algebraic Structures in 2-Categories",
journal = "Mathematical Structures in
Computer Science",
Volume = "2",
year = "1992",
pages = "1--28",
}

@BOOK{reichel,
author = "Reichel, Horst",
title = "Initial Computability, Algebraic Specifications
and Partial Algebras",
publisher = "Clarendon Press",
year = "1987",
}

@ARTICLE{santar,
author = "Sanella, D. and A. Tarlecki",
title =  "Building Specifications
in an Arbitrary Insti\-tu\-tion",
journal = "Information and Control",
volume = "76",
year = "1988",
pages = "165--210",
}

@INCOLLECTION{Tar,
author = "Tarski, A.",
title = "On some Fundamental Concepts of
Metamathematics",
booktitle = "Logic, Semantics, Metamathematics",
year = "1956",
publisher = "Oxford University Press",
note = "Complete and correct this entry!",
}

@ARTICLE{tholtozz,
author = "Tholen, Walter and Anna Tozzi",
title = "Completions of Categories and Initial Completions",
journal = cahiers,
year = 1989,
pages = "127--156",
}

@ARTICLE{gensk,
author = "Wells, Charles",
title = "A Generalization of the Concept of Sketch",
journal = tcs,
year = "1990",
volume = "70",
pages = "159--178",
}


@BOOKLET{skor,
author = "Charles Wells",
title = "Sketches: Outline with references",
howpublished = "Available by web browser from
{\tt http://www.cwru.edu\slash artsci\slash math\slash wells\slash pub\slash
papers.html}",
year = 1994,
}

@INCOLLECTION{wellsbarr,
author = "Wells, Charles and M. Barr",
title = "The Formal Description of Data Types using Sketches",
editor = "Main, Michael and others",
booktitle = "Mathematical Foundations of Programming Language
Semantics",
series = "Lecture Notes in Computer Science",
volume = "298",
year = "1988",
publisher = springer,
}