Joachim Biskup Christian Eckert About the Enforcement of State Dependent Specifications. 3-17 1993 conf/dbsec/1993 DBSec db/conf/dbsec/dbsec93.html#BiskupE93