H. Ehrich, A. Sernadas, G. Saake, and C. Sernadas. Working papers of the Int. Workshop on Information Systems - Correctness and Reusability, IR-357, page 22--30. Vrije Universiteit Amsterdam, (1994)
A. Hinze, and S. Bittner. 22nd International Conference on Distributed Computing Systems (ICDCS- 2002), Workshops: 1st International Workshop on Distributed Event-Based Systems(DEBS), IEEE, (2002)
L. Terveen, and W. Hill. CSCW '98: Proceedings of the 1998 ACM conference on Computer supported cooperative work, page 355--362. New York, NY, USA, ACM Press, (1998)
A. Pnueli, N. Shankar, and E. Singerman. Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 1486 of Lecture Notes in Computer Science, page 198--209. Lyngby, Denmark, Springer-Verlag, (September 1998)