John Cooke Savi Maharaj Judi Romijn Carron Shankland 199 2003 14 Formal Asp. Comput. 3 http://dx.doi.org/10.1007/s001650300000 db/journals/fac/fac14.html#CookeMRS03