@inproceedings{DBLP:conf/ecoop/BenzakenS97,
author = {V{\'e}ronique Benzaken and
Xavier Schaefer},
title = {Static Integrity Constraint Management in Object-Oriented
Database Programming Languages via Predicate Transformers},
booktitle = {ECOOP},
year = {1997},
pages = {60-84},
ee = {http://dx.doi.org/10.1007/BFb0053374},
bibsource = {DBLP, http://dblp.uni-trier.de}
}