@inproceedings(Agusti-CullellEGG90,
 author       = "Jaume Agusto-Cullell and Francesc Esteva and Pere Garcia and Lluis Godo",
 year         = "1990",
 title        = "Formalizing Multiple-Valued Logics as Institutions",
 editor       = "B. Bouchon-Meunier and R. Yager and L. A. Zadeh",
 booktitle    = "Uncertainty in Knowledge Bases, IPMU 90",
 series       = "Lect Notes in Computer Science (512)",
 publisher    = "Springer",
 pages        = "269--278",
 doi          = "10.1007/BFb0028112",
)
@incollection(hiding,
 author       = "Rod Burstall and Razvan Diaconescu",
 year         = "1994",
 title        = "Hiding and behaviour: an institutional approach",
 editor       = "W. Roscoe",
 booktitle    = "A Classical Mind: Essays in Honour of C.A.R. Hoare",
 publisher    = "Prentice-Hall",
 pages        = "75--92",
)
@article(DBLP:journals/jlp/BidoitH06,
 author       = "Michel Bidoit and Rolf Hennicker",
 year         = "2006",
 title        = "Constructor-based observational logic",
 journal      = "J. Log. Algebr. Program.",
 volume       = "67",
 number       = "1-2",
 pages        = "3--51",
 doi          = "10.1016/j.jlap.2005.09.002",
)
@inproceedings(DBLP:conf/wcii/BeierleK02,
 author       = "Christoph Beierle and Gabriele Kern-Isberner",
 year         = "2002",
 title        = "Looking at Probabilistic Conditionals from an Institutional Point of View",
 booktitle    = "WCII",
 pages        = "162--179",
 doi          = "10.1007/11408017\_10",
)
@book(livro_brauner,
 author       = "Torben Brauner",
 year         = "2010",
 title        = "Hybrid Logic and its Proof-Theory",
 series       = "Applied Logic Series",
 publisher    = "Springer",
)
@book(ASM03,
 author       = "Egon B{\"o}rger and Robert F. St{\"a}rk",
 year         = "2003",
 title        = "Abstract State Machines. A Method for High-Level System Design and Analysis",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-18216-7",
)
@article(DBLP:journals/jlp/Cirstea06,
 author       = "Corina C\^{\i }rstea",
 year         = "2006",
 title        = "An institution of modal logics for coalgebras",
 journal      = "J. Log. Algebr. Program.",
 volume       = "67",
 number       = "1-2",
 pages        = "87--113",
 doi          = "10.1016/j.jlap.2005.09.004",
)
@phdthesis(vbt,
 author       = "Balder David ten Cate",
 year         = "2005",
 title        = "Model Theory for Extended Modal Languages",
 type         = "Ph.d. thesis",
 school       = "Institute for Logic, Language and Computation Universiteit van Amsterdam",
)
@inproceedings(DBLP:conf/birthday/CaleiroMSS06,
 author       = "Carlos Caleiro and Paulo Mateus and Am\'{\i }lcar Sernadas and Cristina Sernadas",
 year         = "2006",
 title        = "Quantum Institutions",
 editor       = "K. Futatsugi and J.-P. Jouannaud and J. Meseguer",
 booktitle    = "Essays Dedicated to Joseph A. Goguen",
 series       = "Lecture Notes in Computer Science (4060)",
 pages        = "50--64",
 doi          = "10.1007/11780274\_4",
)
@book(livrodiaconescu,
 author       = "Razvan Diaconescu",
 year         = "2008",
 title        = "Institution-independent Model Theory",
 publisher    = "Birkhauser Basel",
)
@article(DBLP:journals/mlq/Diaconescu11,
 author       = "Razvan Diaconescu",
 year         = "2011",
 title        = "On quasi-varieties of multiple valued logic models",
 journal      = "Math. Log. Q.",
 volume       = "57",
 number       = "2",
 doi          = "10.1002/malq.200910131",
)
@unpublished(paperdiaco,
 author       = "Razvan Diaconescu and Alexandre Madeira",
 title        = "Encoding Hybridized Institutions into First Order Logic",
 note         = "Submited to a journal",
)
@article(ins,
 author       = "Joseph A. Goguen and Rod M. Burstall",
 year         = "1992",
 title        = "Institutions: Abstract Model Theory for Specification and Programming",
 journal      = "J. ACM",
 volume       = "39",
 number       = "1",
 doi          = "10.1145/147508.147524",
)
@book(Gottwald01atreatise,
 author       = "Siegfried Gottwald",
 year         = "2001",
 title        = "A Treatise on Many-Valued Logics",
 series       = "Studies in Logic and Computation, vol 9",
 publisher    = "Research Studies Press: Baldock, Hertfordshire, England",
)
@book(gratzer,
 author       = "G. Gr{\"{a}}tzer",
 year         = "1979",
 title        = "Universal Algebra (2nd ed)",
 publisher    = "Springer-Verlag",
)
@book(Hodges:1997:SMT:262326,
 author       = "Wilfrid Hodges",
 year         = "1997",
 title        = "A shorter model theory",
 publisher    = "Cambridge University Press",
 address      = "New York, NY, USA",
)
@book(MacLaneS:catwm,
 author       = "Saunders Mac Lane",
 year         = "1971",
 title        = "Categories for the Working Mathematician",
 series       = "Graduate Texts in Mathematics",
 volume       = "5",
 publisher    = "Springer-Verlag",
 doi          = "10.1007/978-1-4612-9839-7",
)
@phdthesis(madeirathesis,
 author       = "Alexandre Madeira",
 year         = "2013 (to appear)",
 title        = "Foundations and techniques for software reconfigurability",
 type         = "Ph.d. thesis",
 school       = "Minho and Aveiro Universities (Joint MAP-i Doctoral Programme)",
)
@inproceedings(sefm11,
 author       = "Alexandre Madeira and Jos{\'e} M. Faria and Manuel A. Martins and Lu\'{\i }s Soares Barbosa",
 year         = "2011",
 title        = "Hybrid Specification of Reactive Systems: An Institutional Approach",
 editor       = "G. Barthe and A. Pardo and G. Schneider",
 booktitle    = "Proc. 9th Inter. Conf. Software Engineering and Formal Methods (SEFM 2011)",
 series       = "Lect Notes in Computer Science (7041)",
 publisher    = "Springer",
 pages        = "269--285",
 doi          = "10.1007/978-3-642-24690-6\_19",
)
@inproceedings(calco,
 author       = "Manuel A. Martins and Alexandre Madeira and Razvan Diaconescu and Lu\'{\i }s Soares Barbosa",
 year         = "2011",
 title        = "Hybridization of Institutions",
 editor       = "A. Corradini and B. Klin and C. C\^{\i }rstea",
 booktitle    = "Proc. 4th International Conf. on Algebra and Coalgebra in Computer Science (CALCO 2011)",
 series       = "Lect Notes in Computer Science (6859)",
 publisher    = "Springer",
 pages        = "283--297",
 doi          = "10.1007/978-3-642-22944-2\_20",
)
@inproceedings(Mossakowski:2006:SCP:1763794.1763801,
 author       = "Till Mossakowski and Markus Roggenbach",
 year         = "2007",
 title        = "Structured CSP: a process algebra as an institution",
 booktitle    = "Proc. 18th Inter. Conf. on Recent trends in algebraic development techniques",
 series       = "WADT'06",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "92--110",
 doi          = "10.1007/978-3-540-71998-4\_6",
)
@incollection(Par81,
 author       = "D. Park",
 year         = "1981",
 title        = "Concurrency and Automata on Infinite Sequences",
 editor       = "P. Deussen",
 booktitle    = "Proc. Conf. on Theoretical Computer Science",
 publisher    = "Springer Lect. Notes Comp. Sci. (104)",
 pages        = "167--183",
 doi          = "10.1007/BFb0017309",
)
@article(DBLP:journals/tcs/SchroderM09,
 author       = "Lutz Schr{\"o}der and Till Mossakowski",
 year         = "2009",
 title        = "HasCasl: Integrated higher-order specification and program development",
 journal      = "Theor. Comput. Sci.",
 volume       = "410",
 number       = "12-13",
 doi          = "10.1016/j.tcs.2008.11.020",
)
@book(livro_sannella,
 author       = "Donald Sannella and Andrzej Tarlecki",
 year         = "2012",
 title        = "Foundations of Algebraic Specification and Formal Software Development",
 series       = "EATCS Monographs on theoretical computer science",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-17336-3",
)