BibTex format
@techreport{da:2016,
author = {da, Rocha Pinto P and Dinsdale-Young, T and Gardner, P and Sutherland, J},
booktitle = {Modular Termination Verification for Non-blocking Concurrency},
publisher = {Department of Computing, Imperial College London},
title = {Modular Termination Verification for Non-blocking Concurrency (Extended Version)},
url = {http://www.doc.ic.ac.uk/research/technicalreports/2016/DTRS16-6.pdf},
year = {2016}
}