Grant O. Cook Jr. Code Generation in ALPAL Using Symbolic Techniques. 27-35 1992 ISSAC http://doi.acm.org/10.1145/143242.143260 db/conf/issac/issac92.html#Cook92