| Paradigm Plus, Round-trip Engoneering with ERwin, Release 3.6, pp. 1-32, a Platinum Technology white paper Aug., 1998. |
| Paradigm Plus, Forward Engineering with Oracle8, Release 3.52, a Platinum Technology white paper, pp. 1-38, Nov. 1997. |
| Behrends, H., "Simulation-based Debugging of Active Databases" (Feb. 1994), IEEE Computer Society Press, Proceedings: Fourth International Workshop on Research Issues in Data Engineering: Active Database Systems, pp. 172-180. |
| Binks, D., "Declarative Debugging of Abstract Data Types in Godel" (May 1993), Automated and Algorithmic Debugging, First International Workshop, AADEBUG '93, pp. 188-205. |
| Bird, B., "An Open Systems SEE Query Language" (Apr. 1995), IEEE Computer Society Press, Proceedings: 1995 Software Engineering Environments, pp. 34-47. |
| Jard, C., et al., "An Approach to Testing Specifications" (1983), The Journal of Systems and Software 3, pp. 315-323. |
| Kim, H., et al., "A Class Testing Technique Based on Data Bindings" (Dec. 1996), IEEE Computer Society Press, Proceedings: 1996 Asia-Pacific Software Engineering Conference, pp. 104-109. |
| Katayama, T., et al., "Event Interactions Graph for Test-case Generation of Concurrent Programs" (Dec. 1995), IEEE Computer Society Press, Proceedings: 1995 Asia Pacific Software Engineering Conference, pp. 29-37. |
| Lee, Y., et al., "Debugging Logic Programs Using Specifications" (May 1993), Automated and Algorithmic Debugging, First International Workshop, AADEBUG '93, pp. 75-84. |
| McDonald, J., et al., "Translating Object-Z Specifications to Object-Oriented Test Oracles" (Dec. 1997), IEEE Computer Society, Proceedings: Asia Pacific Software Engineering Conference and International Computer Science Conference, pp. 414-422. |
| Oracle, "Oracle7.TM. Server Application Developer's Guide" (Dec. 1992), pp. i-xxiii; Chapter 1, "The Application Developer", pp. 1-1 thru 1-8. |
| Oracle, "PL/SQL.TM. User's Guide and Reference" Release 2.2 (Mar. 1995) Chapter 8, "Execution Environments", pp. 8-1 thru 8-26. |
| Oracle, "SQL*Plus.RTM. User's Guide and Reference", Ver. 3.1 (1992), p. 6-45. |
| Parson, D., et al., "A Tel-based Self-configuring Embebbed System Debugger" (Jul. 1997), USENIX Association, Fifth Annual Tel/Tk Workshop '97, pp. 131-138. |
| Rosenblum, D., "Specifying Concurrent Systems with TSL" (May 1991), IEEE Software, pp. 52-61. |