1. Alferes, J.J., Bailey, J., Berndtsson, M., Bry, F., Dietrich, J., Kozlenkov, A., May, W., Pătrânjan, P.L., Pinto, A., Schroeder, M., Wagner, G.: State-of-the-art on evolution and reactivity. Technical Report IST506779/Lisbon/I5-D1/D/PU/a1, REWERSE (September 2004)
2. Alferes, J.J., Berndtsson, M., Bry, F., Eckert, M., Henze, N., May, W., Pătrânjan, P.L., Schroeder, M.: Use-cases on evolution. Technical Report IST506779/Lisbon/I5- D2/D/PU/a1, REWERSE (September 2004)
3. Bailey, J., Poulovassilis, A., Wood, P.T.: An event-condition action language for XML. In: WWW Conference (2002)
4. Baral, C., Gelfond, M., Provetti, A.: Representing actions: Laws, observations and hypotheses. Journal of Logic Programming 31(1–3), 201–243 (1997)
5. Ben-Ari, M., Manna, Z., Pnueli, A.: The temporal logic of branching time. In: 8th Annual ACM Symp. on Principles of Programming Languages (1981)