Termination proofs for systems code (2006)

by B Cook, A Podelski, A Rybalchenko
Venue:In PLDI