1. Ashok, T., Rangaraajan, K., Eswar, P.: Retesting C++ Classes. In: Proceedings, Ninth International Software Quality Week, Software Research Institute, San Francisco (May 1996)
2. Beizer, B.: Software Testing Techniques. Van Nostrand Reinhold, New York (1990)
3. Lecture Notes in Computer Science;F.M.T. Brazier,1994
4. Brazier, F.M.T., Van Eck, P.A.T., Treur, J.: Modelling Exclusive Access to Liminted Resources within a Multi-Agent Environment: Formal Specification, Technical Report, Vrije Universiteit Amsterdam, Department of Mathematics and Computer Science (1995)
5. Lecture Notes in Computer Science;C. Petrie,2001