Reference:

Ashutosh Gupta, Corneliu Popeea, and Andrey Rybalchenko. Non-monotonic refinement of control abstraction for concurrent programs. In ATVA, pages 188–202, September 2010.

Suggested BibTeX entry:

@inproceedings{GuptaATVA10,
    author = {Ashutosh Gupta and Corneliu Popeea and Andrey Rybalchenko},
    booktitle = {ATVA},
    month = {September},
    pages = {188-202},
    title = {Non-monotonic Refinement of Control Abstraction for Concurrent Programs},
    year = {2010}
}