David Carlisle Mike Dewar NAG Library Documentation. 56-65 2003 conf/mkm/2003 MKM http://link.springer.de/link/service/series/0558/bibs/2594/25940056.htm db/conf/mkm/mkm2003.html#CarlisleD03