Joris van der Hoeven John Shackell 1004-1020 2006 41 J. Symb. Comput. 9 http://dx.doi.org/10.1016/j.jsc.2006.06.001 db/journals/jsc/jsc41.html#HoevenS06