Z. Diskin & U. Wolter (2008):
A Diagrammatic Logic for Object-Oriented Visual Modeling.
Electr. Notes Theor. Comput. Sci. 203(6),
pp. 19–41,
doi:10.1016/j.entcs.2008.10.041.
H. Ehrig, K. Ehrig, U. Prange & G. Taentzer (2006):
Fundamentals of Algebraic Graph Transformations.
Springer.
H. Ehrig & B. Mahr (1985):
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics.
Springer-Verlag Berlin, Heidelberg.
Hartmut Ehrig, M. Grosse-Rhode & U. Wolter (1998):
Applications of Category Theory to the Area of Algebraic Specification in Computer Science.
Applied Categorical Structures 6,
pp. 1–35,
doi:10.1023/A:1008688122154.
Peter Freyd (1972):
Aspects of Topoi.
Bull. Austral. Math. Soc. 7,
pp. 1–76,
doi:10.1017/S0004972700044828.
Robert Goldblatt (1984):
Topoi: The Categorial Analysis of Logic.
Dover Publications.
A. Grothendieck (1959):
Techniques de descente et théoremes d'existence en géometrie algébraique, I. Géneralités.
Séminaire Bourbaki 190.
T. Heindel & P. Sobocinski (2009):
Van Kampen Colimits as Bicolimits in Span.
In: A. Kurz, M. Lenisa & A. Tarlecki: Algebra and Coalgebra in Computer Science,
Lecture Notes in Computer Science 5728.
Springer Berlin / Heidelberg,
pp. 335–349,
doi:10.1007/978-3-642-03741-2_23.
G Janelidze & W. Tholen (1994):
Facets of Descent I.
Applied Categorical Structures 2,
pp. 245–281,
doi:10.1007/BF00878100.
Peter Johnstone (2002):
Sketches of an Elephant A Topos Theory Compendium, Volume 1.
Oxford Science Publication.
S. Lack & P. Sobociński (2004):
Adhesive Categories.
In: Foundations of Software Science and Computation Structures (FoSSaCS '04) 2987.
Springer,
pp. 273–288,
doi:10.1007/978-3-540-24727-2_20.
S. Lack & P. Sobociński (2006):
Toposes are Adhesive.
LNCS 4178,
pp. 184–198,
doi:10.1007/11841883_14.
Michael Löwe (2010):
Graph Rewriting in Span Categories.
In: Proceedings of the ICGT,
Lecture Notes in Computer Science 6372.
Springer,
pp. 218–233,
doi:10.1007/978-3-642-15928-2_15.
Michael Löwe (2010):
Van-Kampen Pushouts for Sets and Graphs.
Technical Report.
University of Applied Sciences, FHDW Hannover.
Adrian Rutle, Uwe Wolter & Yngve Lamo (2008):
A Diagrammatic Approach to Model Transformations.
In: Proceedings of the 2008 Euro American Conference on Telematics and Information Systems (EATIS 2008).
ACM,
pp. 1–8,
doi:10.1145/1621087.1621105.
P. Soboczińsky (2004):
Deriving Process Congruences from Reaction Rules.
Technical Report DS-04-6.
BRICS Dissertation Series.
U. Wolter & Z. Diskin (2007):
From Indexed to Fibred Semantics – The Generalized Sketch File –.
Reports in Informatics 361.
Dep. of Informatics, University of Bergen.