Jean-Lou De Carufel Jules Desharnais Demonic Algebra with Domain. 120-134 2006 conf/RelMiCS/2006 RelMiCS http://dx.doi.org/10.1007/11828563_8 db/conf/RelMiCS/RelMiCS2006.html#CarufelD06