1. Allen, J.: Towards a general theory of action and time. Artif. Intell. 23, 123?154 (1984)
2. Barringer, H., Kuiper, R., Pnueli, A.: Now you may compose temporal logic specifications. In: Proceedings of the 16th ACM Symposium on the Theory of Computing, May 1984
3. Brodie, M., Silva, E.: Active and passive modelling: ACM/PCM. In: Olle, T., Sol, H., Verrijn-Stuart, A. (eds.) Information systems design methodologies. Amsterdam Oxford New York: North-Holland 1982
4. Brookes, S., Hoare, C.A.R., Roscoe, A.: A theory of communicating sequential processes. J. Assoc. Comput. Mech. 31, 560?599 (1984)
5. Bubenko, J., Jr.: The temporal dimension in information processing. In: Nijssen, G. (ed.) Architecture and models in database management. Amsterdam Oxford New York: North-Holland 1977