Annalisa Di Deo Dmitri Boulanger A Formal Background to Build Constraint Objects. 7-15 http://www.computer.org/proceedings/ideas/0789/07890007abs.htm 2000 conf/ideas/2000 IDEAS db/conf/ideas/ideas2000.html#DeoB00