Michel Charpentier Composing invariants. 221-243 2006 60 Sci. Comput. Program. 3 http://dx.doi.org/10.1016/j.scico.2005.08.001 db/journals/scp/scp60.html#Charpentier06