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