Proving that programs eventually do something good (2007)

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