Automatic Verification of Transactions on an Object-Oriented Database. - David Spelt; Herman Balsters (DBPL, 1997)

Compensation Methods to Support Generic Graph Editing: A Case Study in Automated Verification of Schema Requirements for an Advanced Transaction Model. - Susan Even; David Spelt (ECOOP Workshops, 1999)

A Theorem Prover-Based Analysis Tool for Object-Oriented Databases. - David Spelt; Susan Even (TACAS, 1999)

Verification Support for Object Database Design. - David Spelt (1999)

Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model. - David Spelt; Susan Even (Concurr. Comput. Pract. Exp., 2001)