Thomas Alexander John L. Ellis Gershon Kedem A Solid Translation Engine using Ray Representation. 157-165 1995 conf/asap/1995 ASAP http://doi.ieeecomputersociety.org/10.1109/ASAP.1995.522919 db/conf/asap/asap1995.html#AlexanderEK95