1. Lect Notes Comput Sci;R. Breu,1997
2. Lect Notes Comput Sci;E. Börger,2000
3. Lect Notes Comput Sci;E. Börger,2000
4. K. Compton, Y. Gurevich, J. Huggins, W. Shen.: An Automatic Verification Tool for UML, Technique Report CSE-TR-423-00, Dept. of EECS, The University of Michigan, May, (2000)
5. Lect Notes Comput Sci;S. Cook,2000