Oil the relative completeness of abstraction refinement (2001)

by T Ball, A Podelski, S K lajamani