J.Adámek, H.Herrlich and G. Strecker, Abstract and Concrete Categories, Wiley, 1990.
C.Caleiro, “Operational Semantics of Temporal Object Specifications”, INESC/DMIST Research Report, June 1993, presented at the COMPASS GM'93, Dresden.
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.
R.Goldblatt, Logics of Time and Computation, CSLI, 1987.
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.
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.
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.
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.
A.Sernadas, C.Sernadas and J.F.Costa, “Object Specification Logic”, INESC/DMIST Research Report, June 1992, submitted.
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.
G.Winskel, “Synchronization Trees”, Theoretical Computer Science, 34, 1984.
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.
G.Winskel, “Petri Nets, Algebras, Morphisms and Compositionality”, Information and Computation, March, 1987.