Reference:

Corneliu Popeea and Andrey Rybalchenko. Compositional termination proofs for multi-threaded programs. In TACAS, March 2012.

Suggested BibTeX entry:

@inproceedings{PopeeaTACAS12,
    author = {Corneliu Popeea and Andrey Rybalchenko},
    booktitle = {TACAS},
    month = {March},
    title = {Compositional Termination Proofs for Multi-threaded Programs},
    year = {2012}
}