@article(beckertevaluating2012,
 author       = "Bernhard Beckert and Sarah Grebing",
 year         = "2012",
 title        = "Evaluating the Usability of Interactive Verification Systems",
 journal      = "Comparative Empirical Evaluation of Reasoning Systems",
 url          = "http://ceur-ws.org/Vol-873/papers/paper\_4.pdf",
)
@book(frias02,
 author       = "Marcelo~{F.} Frias",
 year         = "2002",
 title        = "Fork algebras in algebra, logic and computer science",
 series       = "Advances in logic",
 volume       = "2",
 publisher    = "World Scientific Publishing Co.",
 address      = "Singapore",
 doi          = "10.1142/9789812777928",
)
@inproceedings(frias:icfem04,
 author       = "Marcelo~{F.} Frias and Carlos~{G.} {Lopez Pombo} and Nazareno~{M.} Aguirre",
 year         = "2004",
 title        = "An equational calculus for {Alloy}",
 editor       = "Jim Davies and Wolfram Schulte and Mike Barnett",
 booktitle    = "Proceedings of the 6th. International conference on formal engineering methods ({ICFEM})",
 series       = "Lecture Notes in Computer Science",
 volume       = "3308",
 publisher    = "Springer-Verlag",
 address      = "Seattle, Washington, United States",
 pages        = "162--175",
 doi          = "10.1007/978-3-540-30482-1\_19",
)
@inproceedings(frias:tacas07,
 author       = "Marcelo~{F.} Frias and Carlos~{G.} {Lopez Pombo} and Mariano~Miguel Moscato",
 year         = "2007",
 title        = "{Alloy Analyzer+PVS} in the Analysis and Verification of {Alloy} Specifications",
 editor       = "Grumberg and Huth",
 pages        = "587--601",
 doi          = "10.1007/978-3-540-71209-1\_46",
)
@inproceedings(goguen:cmwlp84,
 author       = "Joseph~{A.} Goguen and Rod~{M.} Burstall",
 year         = "1984",
 title        = "Introducing Institutions",
 editor       = "Edmund~{M.} Clarke and Dexter Kozen",
 booktitle    = "Proceedings of the Carnegie Mellon Workshop on Logic of Programs",
 series       = "Lecture Notes in Computer Science",
 volume       = "184",
 publisher    = "Springer-Verlag",
 pages        = "221--256",
 doi          = "10.1007/3-540-12896-4\_366",
)
@book(omg-ocl04,
 author       = "{O}bject~{M}anagement {G}roup",
 year         = "2004",
 title        = "Object Constraint Language Specification",
 publisher    = "{O}bject {M}anagement {G}roup",
 note         = "Version 1.5",
)
@book(omg-sysml04,
 author       = "{O}bject~{M}anagement {G}roup",
 year         = "2004",
 title        = "{OMG} {SysML} specification coversheet",
 publisher    = "{O}bject {M}anagement {G}roup",
 note         = "Version 1.0",
)
@proceedings(tacas07,
 editor       = "Orma Grumberg and Michael Huth",
 year         = "2007",
 title        = "13th. International Conference on Tools and Algorithms for the Construction and Analysis of Systems ({TACAS} 2007)",
 series       = "Lecture Notes in Computer Science",
 volume       = "4424",
 publisher    = "Springer-Verlag",
 address      = "Braga, Portugal",
 doi          = "10.1007/978-3-540-71209-1",
)
@article(jackson:acmtosem-11_2,
 author       = "Daniel Jackson",
 year         = "2002",
 title        = "Alloy: a lightweight object modelling notation",
 journal      = "{ACM} Transactions on Software Engineering and Methodology",
 volume       = "11",
 number       = "2",
 pages        = "256--290",
 doi          = "10.1145/505145.505149",
)
@phdthesis(lopezpombo:phdthesis,
 author       = "Carlos~{G.} {Lopez Pombo}",
 year         = "2007",
 title        = "Fork algebras as a tool for reasoning across heterogeneous specifications",
 school       = "Departamento de Computaci\'{o}n, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires",
 url          = "http://digital.bl.fcen.uba.ar/Download/Tesis/Tesis_4113_LopezPombo.pdf",
 note         = "Promotor: Marcelo {F.} Frias",
)
@inproceedings(meseguer:lc87,
 author       = "Jos{\'{e}} Meseguer",
 year         = "1989",
 title        = "General logics",
 editor       = "Heinz-Dieter Ebbinghaus and Jos{\'{e}} Fernandez-Prida and Manuel Garrido and Daniel Lascar and Mario~Rodr{\'{\i }}guez Artalejo",
 booktitle    = "Proceedings of the Logic Colloquium '87",
 volume       = "129",
 publisher    = "North Holland",
 address      = "Granada, Spain",
 pages        = "275--329",
 doi          = "10.1016/S0049-237X(08)70132-0",
)
@inproceedings(moscato:ictac10,
 author       = "Mariano~Miguel Moscato and Carlos~{G.} {Lopez Pombo} and Marcelo~{F.} Frias",
 year         = "2010",
 title        = "Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements",
 editor       = "Ana Cavalcanti and David D'eharbe and Marie-Claude Gaudel and Jim Woodcock",
 booktitle    = "Proceedings of Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium",
 series       = "Lecture Notes in Computer Science",
 volume       = "6255",
 publisher    = "Springer-Verlag",
 address      = "Natal, Rio Grande do Norte, Brazil",
 pages        = "275--289",
 doi          = "10.1007/978-3-642-14808-8\_19",
)
@inproceedings(mossakowski:tacas07,
 author       = "Till Mossakowski and Christian Maeder and Klaus Luttich",
 year         = "2007",
 title        = "The heterogeneous tool set, {Hets}",
 editor       = "Grumberg and Huth",
 pages        = "519--522",
 doi          = "10.1007/978-3-540-71209-1",
)
@inproceedings(owre:cav96,
 author       = "Sam Owre and Sreeranga Rajan and John~{M.} Rushby and Natarajan Shankar and Mandayam Srivas",
 year         = "1996",
 title        = "{PVS}: Combining specification, proof checking, and model checking",
 editor       = "Rajeev Alur and Thomas~{A.} Henzinger",
 booktitle    = "Proceedings of the 9th. Computer Aided Verification ({CAV})",
 series       = "Lecture Notes in Computer Science",
 volume       = "1102",
 publisher    = "Springer-Verlag",
 address      = "New Brunswick, {NJ}",
 pages        = "411--414",
 doi          = "10.1007/3-540-61474-5\_91",
)
@inproceedings(tarlecki:sadt-rtdts95,
 author       = "Andrzej Tarlecki",
 year         = "1996",
 title        = "Moving between logical systems",
 editor       = "Magne Haveraaen and Olaf Owe and Ole-Johan Dahl",
 booktitle    = "Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification",
 series       = "Lecture Notes in Computer Science",
 volume       = "1130",
 publisher    = "Springer-Verlag",
 pages        = "478--502",
 doi          = "10.1007/3-540-61629-2\_59",
)