Paul Boca Raymond Boute David Duce José Oliveira 225 2009 21 Formal Asp. Comput. 3 http://dx.doi.org/10.1007/s00165-009-0109-8 db/journals/fac/fac21.html#BocaBDO09