Thomas J. Ashby Anthony D. Kennedy Stephen M. Watt Generation and optimisation of code using coxeter lattice paths. 1-10 2007 conf/issac/2007pasco PASCO http://doi.acm.org/10.1145/1278177.1278179 db/conf/issac/pasco2007.html#AshbyKW07