Maurice Bruynooghe Danny De Schreye Bruno Krekels Compiling Control. 135-162 1989 6 J. Log. Program. 1&2 db/journals/jlp/jlp6.html#BruynoogheSK89