@incollection(AN94,
 author       = "H. Andreka and I. Nemeti",
 year         = "1994",
 title        = "General Algebraic Logic: A Perspective on ``What is logic?''",
 booktitle    = "What is a Logical System? - Studies in Logic and Computation, Vol. 4",
 publisher    = "Oxford University Press",
)
@article(BHK03,
 author       = "M. Bidoit and R. Hennicker and A. Kurz",
 year         = "2003",
 title        = "{Observational logic, constructor-based logic, and their duality.}",
 journal      = "Theor. Comput. Sci.",
 volume       = "298",
 number       = "3",
 pages        = "471--510",
 doi          = "10.1016/S0304-3975(02)00865-4.",
)
@article(Bo02,
 author       = "T. Borzyszkowski",
 year         = "2002",
 title        = "Logical Systems for Stuctured Specifications",
 journal      = "Theor. Comp. Science",
 volume       = "286",
 pages        = "197--245",
 doi          = "10.1016/S0304-3975(01)00317-6",
)
@article(BP89,
 author       = "W. Blok and D. Pigozzi",
 year         = "1989",
 title        = "Algebraizable Logics",
 journal      = "Memoirs of the American Mathmatical Society",
 volume       = "396",
 note         = "AMS - American Math. Soc., Providence",
)
@misc(BP,
 author       = "W. Blok and D. Pigozzi",
 year         = "2001",
 title        = "Abstract Algebraic Logic and the Deduction Theorem",
 note         = "Preprint available from \texttt {www.math.iastate.edu/dpigozzi/papers/aaldedth.pdf}",
)
@article(BR03,
 author       = "W. Blok and J. Rebagliato",
 year         = "2003",
 title        = "Algebraic Semantics for Deductive Systems",
 journal      = "Studia Logica",
 volume       = "74",
 number       = "1-2",
 pages        = "153--180",
 doi          = "10.1023/A:1024626023417",
)
@article(batory,
 author       = "D. Batory and J. N. Sarvela and A. Rauschmayer",
 year         = "2004",
 title        = "Scaling step-wise refinement",
 journal      = "IEEE Trans. in Sofware Engineering",
 volume       = "30",
 number       = "6",
 pages        = "355--371",
 doi          = "10.1109/TSE.2004.23",
)
@book(proto,
 author       = "J. Czelakowski",
 year         = "2001",
 title        = "{Protoalgebraic Logics}",
 publisher    = "{Trends in logic, Studia Logica Library, Kluwer Academic Publishers}",
)
@article(DF02,
 author       = "R. Diaconescu and K. Futatsugi",
 year         = "2002",
 title        = "{Logical foundations of CafeOBJ.}",
 journal      = "Theor. Comput. Sci.",
 volume       = "285",
 number       = "2",
 pages        = "289--318",
 doi          = "10.1016/S0304-3975(01)00361-9",
)
@book(livrodiaconescu,
 author       = "R. Diaconescu",
 year         = "2008",
 title        = "Institution-independent Model Theory",
 publisher    = "Birkh\"{a}user Basel",
 doi          = "10.1007/978-3-7643-8708-2\_2",
)
@article(traducoesconservativas,
 author       = "H. A. Feitosa and I. M. L. D'Ottaviano",
 year         = "2001",
 title        = "Conservative translations",
 journal      = "Ann. Pure Appl. Logic",
 volume       = "108",
 number       = "1-3",
 pages        = "205--227",
 doi          = "10.1016/S0168-0072(00)00046-4",
)
@inproceedings(FM93,
 author       = "J. Fiadeiro and T. S. E. Maibaum",
 year         = "1993",
 title        = "Generalising Interpretations between Theories in the context of (pi-) Institutions",
 booktitle    = "Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods",
 publisher    = "Springer-Verlag",
 address      = "London, UK",
 pages        = "126--147",
 url          = "http://portal.acm.org/citation.cfm?id=647322.721361",
)
@incollection(FS88,
 author       = "J. Fiadeiro and A. Sernadas",
 year         = "1988",
 title        = "Structuring Theories on Consequence",
 editor       = "D. Sanella and A. Tarlecki",
 booktitle    = "Recent Trends in Data Type Specification. Specification of Abstract Data Types (Papers from the Fifth Workshop on Specification of Abstract Datac Types, Gullane, 1987)",
 series       = "Lecture Notes in Computer Science",
 volume       = "332",
 publisher    = "Springer-Verlag, Berlin",
)
@article(instituicoes,
 author       = "J. Goguen and R. Burstall",
 year         = "1992",
 title        = "Institutions: abstract model theory for specification and programming",
 journal      = "J. ACM",
 volume       = "39",
 number       = "1",
 pages        = "95--146",
 doi          = "10.1145/147508.147524",
)
@misc(Hen97,
 author       = "R. Hennicker",
 year         = "1997",
 title        = "Structural specifications with behavioural operators: semantics, proof methods and applications",
 note         = "Habilitationsschrift",
)
@article(Mad08,
 author       = "Alexandre Madeira",
 year         = "2008",
 title        = "Observational Refinement Process",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "214",
 pages        = "103--129",
 doi          = "10.1016/j.entcs.2008.06.006",
)
@article(Mar06,
 author       = "Manuel A. Martins",
 year         = "2006",
 title        = "Behavioral Institutions and Refinements in Generalized Hidden Logics",
 journal      = "J. UCS - Journ. of Universal Computer Science",
 volume       = "12",
 number       = "8",
 pages        = "1020--1049",
 doi          = "10.3217/jucs-012-08-1020",
 url          = "http://www.jucs.org/jucs_12_8/behavioral_institutions_and_refinements",
)
@conference(meseguer,
 author       = "J. Meseguer",
 year         = "1989",
 title        = "General Logics",
 editor       = "J. Bairwise and H.J. Keisler et all",
 booktitle    = "Logic Colloquium'87",
 volume       = "87",
 publisher    = "Elsevier",
 pages        = "275--330",
)
@article(MHST03,
 author       = "T. Mossakowski and A. Haxthausen and D. Sannella and A. Tarlecki",
 year         = "2003",
 title        = "{CASL}: The Common Algebraic Specification Language: Semantics and Proof Theory",
 journal      = "Computing and Informatics",
 volume       = "22",
 pages        = "285--321",
 doi          = "10.1.1.10.2965",
)
@incollection(MMB09b,
 author       = "M.A. Martins and A. Madeira and L.S. Barbosa",
 year         = "2009",
 title        = "Refinement by Interpretation in a General Setting",
 editor       = "E. Boiten J. Derrick and S. Reeves",
 booktitle    = "Proc. Refinement Workshop 2009",
 publisher    = "ENTCS, Elsevier",
 pages        = "105--121",
 doi          = "10.1016/j.entcs.2009.12.020",
)
@incollection(MMB09a,
 author       = "M.A. Martins and A. Madeira and L.S. Barbosa",
 year         = "2009",
 title        = "Refinement via Interpretation",
 booktitle    = "7th IEEE International Conf. on Software Engineeering and Formal Methods, Hanoi, Vietnam",
 publisher    = "IEEE Computer Society Press",
 doi          = "10.1109\/SEFM.2009.35",
)
@inproceedings(tacas,
 author       = "T. Mossakowski and C. Maeder and K. L\"{u}ttich",
 year         = "2007",
 title        = "The heterogeneous tool set, HETS",
 booktitle    = "13th Int. Conf. Tools and algorithms for the construction and analysis of systems",
 series       = "TACAS'07",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "519--522",
 doi          = "10.1.1.67.5472",
 url          = "http://portal.acm.org/citation.cfm/id=1763507.1763559",
)
@article(conditional_prof,
 author       = "M. A. Martins and D. Pigozzi",
 year         = "2007",
 title        = "Behavioural reasoning for conditional equations",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "17",
 number       = "5",
 pages        = "1075--1113",
 doi          = "10.1017/S0960129507006305",
)
@inproceedings(Maibaum1,
 author       = "T. S. E. Maibaum and M. R. Sadler and Paulo A. S. Veloso",
 year         = "1984",
 title        = "Logical Specification and Implementation",
 booktitle    = "Proceedings of the Fourth Conference on Foundations of Software Technology and Theoretical Computer Science",
 publisher    = "Springer-Verlag",
 address      = "London, UK",
 pages        = "13--30",
 doi          = "10.1007/3-540-13883-8-62",
)
@inproceedings(Maibaum2,
 author       = "T. S. E. Maibaum and P. A. S. Veloso and M. R. Sadler",
 year         = "1985",
 title        = "A theory of abstract data types for program development: bridging the gap?",
 booktitle    = "Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) on Formal Methods and Software",
 publisher    = "Springer-Verlag",
 address      = "New York, NY, USA",
 pages        = "214--230",
 doi          = "10.1007/3-540-15199-0\_14",
 url          = "http://portal.acm.org/citation.cfm/id=22263.22277",
)
@phdthesis(grigore_thesis,
 author       = "G. Ro{\c {s}}u",
 year         = "2000",
 title        = "Hidden Logic",
 type         = "Ph.D. thesis",
 school       = "University of California, San Diego",
)
@article(ST88,
 author       = "D. Sannella and A. Tarlecki",
 year         = "1988",
 title        = "Specifications in an arbitrary institution",
 journal      = "Inform. and Comput.",
 volume       = "76",
 pages        = "165--210",
 doi          = "10.1.1.144.2669",
)
@article(ST88x,
 author       = "D. Sannella and A. Tarlecki",
 year         = "1988",
 title        = "{Towards Formal Development of Programs from Algebraic Specifications: Implementations Revisited}",
 journal      = "Acta Informatica",
 number       = "25",
 pages        = "233--281",
 doi          = "10.1.1.17.6346",
)
@inproceedings(Tar95,
 author       = "A. Tarlecki",
 year         = "1995",
 title        = "Moving Between Logical Systems",
 editor       = "M. Haveraaen and O.J. Dahl and O. Owe",
 booktitle    = "11th Workshop on Specification of Abstract Data Types, ADT?95",
 publisher    = "Springer Lecture Notes in Computer Science (1130)",
 pages        = "478--502",
 doi          = "10.1.1.49.9260",
)
@article(Vo02,
 author       = "G. Voutsadakis",
 year         = "2002",
 title        = "Categorical Abstract Algebraic Logic: Algebraizable Institutions",
 journal      = "Applied Categorical Structures",
 volume       = "10",
 pages        = "531--568",
 doi          = "10.1023/A:1020990419514",
)
@article(Vo03,
 author       = "G. Voutsadakis",
 year         = "2003",
 title        = "Categorical Abstract Algebraic Logic: Equivalent Institutions",
 journal      = "Studia Logica",
 volume       = "74",
 pages        = "275--311",
 doi          = "10.1023/A:1024682108396",
)
@article(Vo05,
 author       = "G. Voutsadakis",
 year         = "2005",
 title        = "Categorical Abstract Algebraic Logic: Models of $\pi $-Institutions",
 journal      = "Notre Dame Journal of Formal Logic",
 volume       = "46",
 number       = "4",
 pages        = "439--460",
 doi          = "10.1023/A:1020990419514",
)
@book(Woji,
 author       = "R. W{\'{o}}jcicki",
 year         = "1988",
 title        = "{Theory of logical calculi. Basic theory of consequence operations.}",
 publisher    = "{Synthese Library, 199. Dordrecht etc.: Kluwer Academic Publishers.}",
)