Christian S. Collberg Automatic derivation of compiler machine descriptions. 369-408 2002 24 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/567097.567100 db/journals/toplas/toplas24.html#Collberg02