[Adámek 90]
J.Adámek, H.Herrlich and G. Strecker, Abstract and Concrete Categories, Wiley, 1990.
[Caleiro 93]
C.Caleiro, “Operational Semantics of Temporal Object Specifications”, INESC/DMIST Research Report, June 1993, presented at the COMPASS GM'93, Dresden.
Fiadeiro 93.
J.Fiadeiro, J.F.Costa, A.Sernadas and T.Maibaum, “Process Semantics of Temporal Logic Specification”, in M.Bidoit and C.Choppy (eds), Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types — Selected Papers, Springer-Verlag, 1993, 40–65.
[Goguen and Burstall 84]
J.A.Goguen and R.M.Burstall, “Introducing Institutions”, in E.Clarke (ed), Logics of Programming Workshop, Springer-Verlag, 1984, 221–256.
[Goldblatt 87]
R.Goldblatt, Logics of Time and Computation, CSLI, 1987.
[Maibaum 90]
T.Maibaum, J.Fiadeiro and M.Sadler, “Stepwise Program Development in π-Institutions”, Imperial College, Department of Computing Research Report, 1990.
[Manna and Pnueli 92]
Z.Manna and A.Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1992.
[Manna and Wolper 84]
Z.Manna and P.Wolper, “Synthesis of Communicating Processes from Temporal Logic Specifications”, ACM Transactions on Programming Languages and Systems, 1984, 68–93.
[SernadasA and Ehrich 91]
A.Sernadas and H.-D.Ehrich, “What is an Object, After All?”, in R.Meersman, W.Kent and S.Khosla (eds), Object Oriented Databases: Analysis, Design and Construction, North-Holland, 1991, 39–69.
[SernadasA 89a]
A.Sernadas, J.Fiadeiro, C.Sernadas and H.-D.-Ehrich, “Basic Building Blocks of Information Systems”, in E.Falkenberg and P.Lindgreen (eds), Information System Concepts: An In-depth Analysis, North-Holland, 1989, 225–246.
[SernadasA 89b]
A.Sernadas, J.Fiadeiro, C.Sernadas and H.-D.-Ehrich, “Abstract Object Types: A Temporal Perspective”, in B.Banieqbal, H.Barringer and A.Pnueli (eds), Temporal Logic in Specification, Springer-Verlag, 1989, 324–350.
[SernadasA 92a]
A.Sernadas, J.F.Costa, J.L.Fiadeiro and H.-D.Ehrich, “Object Template Institution”, Dagstuhl Workshop on Foundations of Information Systems Specification and Design, March 16–19, 1992.
[SernadasA 92b]
A.Sernadas, C.Sernadas and J.F.Costa, “Object Specification Logic”, INESC/DMIST Research Report, June 1992, submitted.
[Tarlecki 91]
A.Tarlecki, R.M.Burstall and J.A.Goguen, “Some Fundamental Algebraic Tools for the Semantics of Computation. Part III: Indexed Categories”, Theoretical Computer Science, 1991, 239–264.
[Winskel 84]
G.Winskel, “Synchronization Trees”, Theoretical Computer Science, 34, 1984.
[Winskel 85]
G.Winskel, “Categories of Models for Concurrency”, in S.D.Brookes et al (eds), Proceedings of the Seminar on Concurrency, Springer-Verlag, 1985, 246–267.
[Winskel 87]
G.Winskel, “Petri Nets, Algebras, Morphisms and Compositionality”, Information and Computation, March, 1987.