Tadashi Kanamori Abstract Interpretation Based on Alexander Templates. 31-54 1993 15 J. Log. Program. 1&2 db/journals/jlp/jlp15.html#Kanamori93