Neelam Soundarajan, Benjamin Tyler: Specification-Based Incremental Testing of Object Oriented Systems. TOOLS (39) 2001: 35-45