Abstract Interpretation in Logical Form (1992)

by T P Jensen