BibTex format
@article{D'Osualdo:2021:10.1145/3477082,
author = {D'Osualdo, E and Sutherland, J and Farzan, A and Gardner, P},
doi = {10.1145/3477082},
journal = {ACM Transactions on Programming Languages and Systems},
title = {TaDA Live: compositional reasoning for termination of fine-grained concurrent programs},
url = {http://dx.doi.org/10.1145/3477082},
volume = {43},
year = {2021}
}