1. M. Abadi and Z. Manna, Nonclausal Deduction in First-Order Temporal Logic, Journal of the ACM 37(2):279–317, 1990.
2. N. Aguirre and T. Maibaum, A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems, in Proceedings of the 17th International Conference Automated Software Engineering ASE 2002, Edinburgh, United Kingdom, IEEE Press, 2002.
3. N. Aguirre and T. Maibaum, A Logical Basis for the Specification of Reconfigurable Component-Based Systems, in Proceedings of Fundamental Approaches to Software Engineering FASE 2003, Warsaw, Poland, LNCS 2621, Springer, 2003.
4. R. Allen and D. Garlan, Formalizing Architectural Connection, in Proceedings ICSE’ 94, Sorrento, Italy, 1994.
5. M. Barr and C. Wells, Category Theory for Computing Science, Third Edition, Les Publications CRM, 1999.