1. Lecture Notes in Computer Science;B.K. Aichernig,2001
2. Andrews, G.: Concurrent Programming: Principles and Practice. Addison-Wesley, Reading (1991)
3. Bowman, H., Steen, M.W.A., Boiten, E.A., Derrick, J.: A formal framework for viewpoint consistency (full version). Computing Laboratory Technical Report 22-99, University of Kent at Canterbury, Canterbury, Kent, CT2 7NZ (December 1999)
4. Bujorianu, M.C., Maharaj, S., Bujorianu, M.: Towards a formalization of viewpoints testing. In: Robert M. Hierons and Thierry Jéron, editors, Formal Approaches To Testing of Software 2002 (FATES 2002), Research Report, 35042 Rennes, France, INRIA. A satellite workshop of CONCUR 2002 (August 2002)
5. Carrington, D., MacColl, I., McDonald, J., Murray, L., Strooper, P.: From Object-Z Specifications to ClassBench Test Suites. Software Testing, Verification and Reliability 10(2), 111–137 (2000)