M.Y.: Proving that programs eventually do something good (2007)

by B Cook, A Gotsman, A Podelski, A Rybalchenko, Vardi
Venue:In: POPL ’07