Carol Small An Implementation Of A Constraint Enforcement System. 141-154 1986 BNCOD db/conf/bncod/bncod86.html#Small86