1. Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M.: The Imperative Future: Principles of Executable Temporal Logic. Research Studies Press Ltd./John Wiley & Sons, Chichester (1996)
2. Bosse, T., Jonker, C.M., Los, S.A., van der Torre, L., Treur, J.: Formalisation and Analysis of the Temporal Dynamics of Conditioning. In: Müller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol. 3950, pp. 54–68. Springer, Heidelberg (2006)
3. Bosse, T., Jonker, C.M., Schut, M.C., Treur, J.: Simulation and Analysis of Shared Extended Mind. In: Davidsson, P., Gasser, L., Logan, B., Takadama, K. (eds.) Proc. of the First Joint Workshop on Multi-Agent and Multi-Agent-Based Simulation, MAMABS 2004, pp. 191–200 (2004)
4. Lecture Notes in Computer Science;H. Dierks,1997
5. Forbus, K.D.: Qualitative process theory. Artificial Intelligence 24(1-3), 85–168 (1984)