@book(BaWe1990,
 author       = "M.~Barr and C.~Wells",
 year         = "1990",
 title        = "Category {T}heory for {C}omputing {S}ciences",
 publisher    = "Prentice Hall International Series",
)
@article(TTT2005,
 author       = "M.~Barr and C.~Wells",
 year         = "2005",
 title        = "Toposes, Triples and Theories",
 journal      = "Reprints in Theory and Applications of Categories",
 volume       = "12",
 pages        = "1--287",
 url          = "http://www.case.edu/artsci/math/wells/pub/pdf/ttt.pdf",
)
@article(WD2008_a,
 author       = "Z.~Diskin and U.~Wolter",
 year         = "2008",
 title        = "A {D}iagrammatic {L}ogic for {O}bject-{O}riented {V}isual {M}odeling",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "203",
 number       = "6",
 pages        = "19--41",
 doi          = "10.1016/j.entcs.2008.10.041",
)
@book(Ehrig2006-foagt,
 author       = "H.~Ehrig and K.~Ehrig and U.~Prange and G.~Taentzer",
 year         = "2006",
 title        = "Fundamentals of Algebraic Graph Transformations",
 publisher    = "Springer",
)
@book(EM+85,
 author       = "H.~Ehrig and B.~Mahr",
 year         = "1985",
 title        = "Fundamentals of Algebraic Specification 1: Equations and Initial Semantics",
 publisher    = "Springer-Verlag Berlin, Heidelberg",
)
@article(EGW1998,
 author       = "Hartmut Ehrig and M.~Grosse-Rhode and U.~Wolter",
 year         = "1998",
 title        = "Applications of {C}ategory {T}heory to the {A}rea of {A}lgebraic {S}pecification in {C}omputer {S}cience",
 journal      = "Applied Categorical Structures",
 volume       = "6",
 pages        = "1--35",
 doi          = "10.1023/A:1008688122154",
)
@article(Freyd:72,
 author       = "Peter Freyd",
 year         = "1972",
 title        = "Aspects of {T}opoi",
 journal      = "Bull. Austral. Math. Soc.",
 volume       = "7",
 pages        = "1--76",
 doi          = "10.1017/S0004972700044828",
)
@book(Goldblatt1984-t,
 author       = "Robert Goldblatt",
 year         = "1984",
 title        = "Topoi: The Categorial Analysis of Logic",
 publisher    = "Dover Publications",
)
@article(Groth1959,
 author       = "A.~Grothendieck",
 year         = "1959",
 title        = "Techniques de descente et th\'{e}oremes d'existence en g\'{e}ometrie alg\'{e}braique, {I}. {G}\'{e}neralit\'{e}s",
 journal      = "S\'{e}minaire Bourbaki",
 volume       = "190",
)
@inproceedings(VKAsBicolimits,
 author       = "T.~Heindel and P.~Sobocinski",
 year         = "2009",
 title        = "Van {K}ampen {C}olimits as {B}icolimits in {S}pan",
 editor       = "A.~Kurz and M.~Lenisa and A.~Tarlecki",
 booktitle    = "Algebra and Coalgebra in Computer Science",
 series       = "Lecture Notes in Computer Science",
 volume       = "5728",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "335--349",
 doi          = "10.1007/978-3-642-03741-2\_23",
)
@article(JT1994,
 author       = "G~Janelidze and W.~Tholen",
 year         = "1994",
 title        = "Facets of {D}escent {I}",
 journal      = "Applied Categorical Structures",
 volume       = "2",
 pages        = "245--281",
 doi          = "10.1007/BF00878100",
)
@book(J2002,
 author       = "Peter Johnstone",
 year         = "2002",
 title        = "Sketches of an Elephant A Topos Theory Compendium, Volume 1",
 publisher    = "Oxford Science Publication",
)
@incollection(LS04,
 author       = "S.~Lack and P.~Soboci\'{n}ski",
 year         = "2004",
 title        = "Adhesive Categories",
 booktitle    = "Foundations of Software Science and Computation Structures (FoSSaCS '04)",
 volume       = "2987",
 publisher    = "Springer",
 pages        = "273--288",
 doi          = "10.1007/978-3-540-24727-2\_20",
)
@article(LS06,
 author       = "S.~Lack and P.~Soboci\'{n}ski",
 year         = "2006",
 title        = "Toposes are {A}dhesive",
 journal      = "LNCS",
 volume       = "4178",
 pages        = "184--198",
 doi          = "10.1007/11841883\_14",
)
@inproceedings(L2010,
 author       = "Michael L{\"o}we",
 year         = "2010",
 title        = "Graph {R}ewriting in {S}pan {C}ategories",
 booktitle    = "Proceedings of the ICGT",
 series       = "Lecture Notes in Computer Science",
 volume       = "6372",
 publisher    = "Springer",
 pages        = "218--233",
 doi          = "10.1007/978-3-642-15928-2\_15",
)
@techreport(L-10,
 author       = "Michael L{\"o}we",
 year         = "2010",
 title        = "Van-{K}ampen {P}ushouts for {S}ets and {G}raphs",
 type         = "Technical Report",
 institution  = "University of {A}pplied {S}ciences, FHDW Hannover",
)
@inproceedings(rutle2008-diagrammatic,
 author       = "Adrian Rutle and Uwe Wolter and Yngve Lamo",
 year         = "2008",
 title        = "A {D}iagrammatic {A}pproach to {M}odel {T}ransformations",
 booktitle    = "Proceedings of the 2008 Euro American Conference on Telematics and Information Systems ({EATIS} 2008)",
 publisher    = "{ACM}",
 pages        = "1--8",
 doi          = "10.1145/1621087.1621105",
)
@techreport(Sobo2004,
 author       = "P.~Soboczi\'{n}sky",
 year         = "2004",
 title        = "Deriving {P}rocess {C}ongruences from {R}eaction {R}ules",
 type         = "Technical Report",
 number       = "DS-04-6",
 institution  = "BRICS Dissertation Series",
)
@techreport(WD2007,
 author       = "U.~Wolter and Z.~Diskin",
 year         = "2007",
 title        = "From {I}ndexed to {F}ibred {S}emantics -- {T}he {G}eneralized {S}ketch {F}ile --",
 type         = "Reports in Informatics",
 number       = "361",
 institution  = "Dep. of Informatics, University of Bergen",
)