Véronique Benzaken Xavier Schaefer Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers. 60-84 http://link.springer.de/link/service/series/0558/bibs/1241/12410060.htm 1997 ECOOP db/conf/ecoop/ecoop97.html#BenzakenS97