@inproceedings(Aguirre07,
 author       = "N.~Aguirre and G.~Regis and T.~S.~E. Maibaum",
 year         = "2007",
 title        = "Verifying Temporal Properties of CommUnity Designs",
 booktitle    = "IFM",
 pages        = "1--20",
 doi          = "10.1007/978-3-540-73210-5\_1",
)
@article(Castro09,
 author       = "P.~Castro and T.~S.~E. Maibaum",
 year         = "2009",
 title        = "Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "258",
 number       = "2",
 pages        = "17--34",
 doi          = "10.1016/j.entcs.2009.12.011",
)
@phdthesis(Dimitrakos98,
 author       = "T.~Dimitrakos",
 year         = "1998",
 title        = "Formal Support for Specification Design and Implementation",
 school       = "Imperial College",
 address      = "London",
)
@book(Fiadeiro05,
 author       = "J.~L. Fiadeiro",
 year         = "2005",
 title        = "Categories for Software Engineering",
 publisher    = "Springer",
 address      = "Berlin",
 doi          = "10.1007/b138249",
)
@article(Fiadeiro92,
 author       = "J.~L. Fiadeiro and T.~S.~E. Maibaum",
 year         = "1992",
 title        = "Temporal Theories as Modularisation Units for Concurrent System Specification",
 journal      = "Formal Asp. of Comput.",
 volume       = "4",
 number       = "3",
 pages        = "239--272",
 doi          = "10.1007/BF01212304",
)
@article(Fiadeiro97,
 author       = "J.~L. Fiadeiro and T.~S.~E. Maibaum",
 year         = "1997",
 title        = "Categorical Semantics of Parallel Program Design",
 journal      = "Science of Computer Programming",
 volume       = "28",
 number       = "2-3",
 pages        = "111--138",
 doi          = "10.1016/S0167-6423(96)00025-1",
)
@article(Goguen91,
 author       = "J.~A. Goguen",
 year         = "1991",
 title        = "A Categorical Manifesto",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "1",
 number       = "1",
 pages        = "49--67",
 doi          = "10.1017/S0960129500000050",
)
@inproceedings(Khosla87,
 author       = "S.~Khosla and T.~S.~E. Maibaum",
 year         = "1987",
 title        = "The Prescription and Description of State Based Systems",
 booktitle    = "Temporal Logic in Specification",
 pages        = "243--294",
 doi          = "10.1007/3-540-51803-7\_30",
)
@book(MacLane71,
 author       = "S.~MacLane",
 year         = "1971",
 title        = "Categories for the Working Mathematician",
 publisher    = "Springer",
 address      = "NY",
)
@inproceedings(Maibaum97,
 author       = "T.~S.~E. Maibaum",
 year         = "1997",
 title        = "Conservative Extensions, Interpretations Between Theories and All That!",
 booktitle    = "TAPSOFT '97",
 series       = "LNCS",
 volume       = "1214",
 publisher    = "Springer",
 pages        = "40--66",
 doi          = "10.1007/BFb0030588",
)
@inproceedings(Maibaum00,
 author       = "T.~S.~E. Maibaum",
 year         = "2000",
 title        = "Mathematical Foundations of Software Engineering: A Roadmap",
 booktitle    = "ICSE '00: Future of SE Track",
 publisher    = "ACM",
 pages        = "161--172",
 doi          = "10.1145/336512.336548",
)
@techreport(McMillan01,
 author       = "K.~McMillan",
 year         = "1999",
 title        = "The SMV Language",
 type         = "Technical Report",
 institution  = "Cadence Berkeley Labs",
 address      = "Berkeley",
)
@inproceedings(deRoever97,
 author       = "W.~P. de~Roever",
 year         = "1998",
 title        = "The Need for Compositional Proof Systems: A Survey",
 booktitle    = "COMPOS '97",
 series       = "LNCS",
 volume       = "1536",
 publisher    = "Springer",
 pages        = "1--22",
 doi          = "10.1007/3-540-49213-5\_1",
)
@book(Shaw96,
 author       = "M.~Shaw and Garlan D.",
 year         = "1996",
 title        = "Software Architectures: Perspectives on an Emerging Discipline",
 publisher    = "Prentice Hall",
 address      = "NJ",
)
@incollection(Shaw95,
 author       = "M.~Shaw and D.~Garlan",
 year         = "1995",
 title        = "Formulations and Formalisms in Software Architecture",
 booktitle    = "Computer Science Today",
 series       = "LNCS",
 volume       = "1000",
 publisher    = "Springer",
 pages        = "307--323",
 doi          = "10.1007/BFb0015251",
)
@article(Tarlecki91,
 author       = "A.~Tarlecki and R.~M. Burstall and J.~A. Goguen",
 year         = "1991",
 title        = "Some Fundamental Algebraic Tools for the Semantics of Computation. Part 3: Indexed Categories",
 journal      = "Theoretical Computer Science",
 volume       = "91",
 number       = "2",
 pages        = "239--264",
 doi          = "10.1016/0304-3975(91)90085-G",
)