Kim Marriott Frameworks for Abstract Interpretation. 103-129 1993 30 Acta Inf. 2 db/journals/acta/acta30.html#Marriott93