1. L. Baresi and M. Young. Test Oracles. Tech. Report CIS-TR-01-02. Available at http://www.cs.uoregon.edu/~michal/pubs/oracles.html
2. The RAISE specification Language,1992
3. Testing with Abstract State Machines;Grieskamp,2001
4. M. Barnett and W. Schulte. Contracts, Components, and their Runtime Verification on the .NET Platform. Technical Report TR-2001-56, Microsotf Research
5. M. Barnett, L. Nachmanson, and W. Schulte. Conformance Checking of Components Against Their Non-deterministic specifications. Microsoft Research Technical Report, MSR-TR-2000-56