Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation.

Véronique Benzaken Xavier Schaefer Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation. 119-138 1996 conf/bda/1996 BDA db/conf/bda/bda1996.html#BenzakenS96