Termination proofs for systems code. In (2006)

by B COOK, A PODELSKI, A RYBALCHENKO