1. Advances in Database Theory, Vol. II (H.Gallaire et al., eds.), Plenum Press, 1984
2. Brodie,M.L./Mylopoulos,J./Schmidt,J.W(eds.): On Conceptual Modelling. Springer, 1984
3. Castilho,J.M.V.de/ Casanova,M.A./ Furtado,A.L.: A Temporal Framework for Database Specifications. VLDB 1982, 280–291
4. Casanova,M.A./Furtado,A.L.: On the Description of Database Transition Constraints Using Temporal Languages. In [ADBT84], 211–236
5. Carmo,J./Sernadas,A.: A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification In: [TAIS87], 31–46