1. Tutorial introduction to graph transformation: A software engineering perspective;Baresi,2002
2. Testing Object-Oriented Systems: Models, Patterns, and Tools;Binder,1999
3. Better Software Faster;Carmichael,2002
4. A runtime assertion checker for the Java Modeling Language (JML);Cheon,2002