1. Lecture Notes in Computer Science;A. J. Alencar,1991
2. Lecture Notes in Computer Science,1990
3. Workshops in Computing,1994
4. Lecture Notes in Computer Science,1995
5. Butler, S. (1998). Behaviour in object-based systems: a formal approach. PhD thesis, University of Queensland.