Francisco Durán José Meseguer 125-153 2007 66 Sci. Comput. Program. 2 http://dx.doi.org/10.1016/j.scico.2006.07.002 db/journals/scp/scp66.html#DuranM07