This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
Jan Bergstra , Jan Heering , and Paul Klint , Module algebra, Journal of the Association for Computing Machinery, vol. 37 (1990), no. 2, pp. 335–372.
Michel Bidoit and Rolf Hennicker , On the integration of the observability and reachability concepts, Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures (FOSSACS'2002), Lecture Notes in Computer Science, vol. 2303, 2002, pp. 21–36.
Michel Bidoit and Andrzej Tarlecki , Behavioural satisfaction and equivalence in concrete model categories, Proceedings of the 21st Colloquium on Trees in Algebra and Programming, Lecture Notes in Computer Science, vol. 1059, Springer Verlag, 1996, pp. 241–256.
Tomasz Borzyszkowski , Generalized interpolation in CASL, Information Processing Letters, vol. 76 (2001), pp. 19–24.
Maura Cerioli and José Meseguer , May I borrow your logic? (transporting logical structures along maps), Theoretical Computer Science, vol. 173 (1997), pp. 311–347.
C. C. Chang and H. J. Keisler , Model theory, North Holland, Amsterdam, 1990.
Răzvan Diaconescu , Extra theory morphisms for institutions: logical semantics for multiparadigm languages, Applied Categorical Structures, vol. 6 (1998), no. 4, pp. 427–453, a preliminary version appeared as JAIST Technical Report IS-RR-97-0032F in 1997.
Răzvan Diaconescu , Elementary diagrams in institutions, Journal of Logic and Computation, vol. 14 (2004), no. 5, pp. 651–674.
Răzvan Diaconescu , An institution-independent proof of Craig Interpolation Theorem, Studia Logica, vol. 77 (2004), no. 1, pp. 59–79.
Răzvan Diaconescu , Interpolation in Grothendieck institutions, Theoretical Computer Science, vol. 311 (2004), pp. 439–461.
Răzvan Diaconescu , Proof systems for institutional logic, Journal of Logic and Computation, vol. 16 (2006), pp. 339–357.
Theodosis Dimitrakos and Tom Maibaum , On a generalized modularization theorem, Information Processing Letters, vol. 74 (2000), pp. 65–71.
J. L. Fiadeiro and J. F. Costa , Mirror, mirror in my hand: A duality between specifications and models of process behaviour, Mathematical Structures in Computer Science, vol. 6 (1996), no. 4, pp. 353–373.
Joseph Goguen and Rod Burstall , Institutions: Abstract model theory for specification and programming, Journal of the Association for Computing Machinery, vol. 39 (1992), no. 1, pp. 95–146.
Joseph Goguen and Răzvan Diaconescu , Towards an algebraic semantics for the object paradigm, Recent trends in data type specification (Harmut Ehrig and Fernando Orejas , editors), Lecture Notes in Computer Science, vol. 785, Springer, 1994, pp. 1–34.
Joseph Goguen and Grigore Roşu , Institution morphisms, Formal Aspects of Computing, vol. 13 (2002), pp. 274–307.
George Grätzer , Universal algebra, Springer, 1979.
Wilfrid Hodges , Model theory, Cambridge University Press, 1993.
G. Matthiessen , Regular and strongly finitary structures over strongly algebroidal categories, Canadian Journal of Mathematics, vol. 30 (1978), pp. 250–261.
José Meseguer , Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science, vol. 96 (1992), no. 1, pp. 73–155.
Till Mossakowski , Specification in an arbitrary institution with symbols, Recent trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonos, France (C. Choppy , D. Bert , and P. Mosses , editors), Lecture Notes in Computer Science, vol. 1827, Springer-Verlag, 2000, pp. 252–270.
Till Mossakowski , Relating CASL with other specification languages: the institution level, Theoretical Computer Science, vol. 286 (2002), pp. 367–475.
Pieter-Hendrik Rodenburg , A simple algebraic proof of the equational interpolation theorem, Algebra Universalis, vol. 28 (1991), pp. 48–51.
Lutz Schröder , Till Mossakowski , and Christoph Lüth , Type class polymorphism in an institutional framework, Recent trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004) (José Fiadeiro , editor), Lecture Notes in Computer Science, vol. 3423, Springer, Berlin, 2004, pp. 234–248.
Andrzej Tarlecki , Bits and pieces of the theory of institutions, Proceedings, Summer Workshop on Category Theory and Computer Programming (David Pitt , Samson Abramsky , Axel Poigneé , and David Rydeheard , editors), Lecture Notes in Computer Science, vol. 240, Springer, 1986, pp. 334–360.
Andrzej Tarlecki , On the existence of free models in abstract algebraic institutions, Theoretical Computer Science, vol. 37 (1986), pp. 269–304, preliminary version, University of Edinburgh, Computer Science Department, Report CSR-165-84, 1984.
Andrzej Tarlecki , Quasi-varieties in abstract algebraic institutions, Journal of Computer and System Sciences, vol. 33 (1986), no. 3, pp. 333–360, original version, University of Edinburgh, Report CSR-173-84.
Andrzej Tarlecki , Moving between logical systems, Recent trends in data type specification (Magne Haveraaen , Olaf Owe , and Ole-Johan Dahl , editors), Lecture Notes in Computer Science, Springer, 1996, pp. 478–502.
Paulo Veloso , On pushout consistency, modularity and interpolation for logical specifications, Information Processing Letters, vol. 60 (1996), no. 2, pp. 59–66.