BibTex format
@inproceedings{Dinsdale-Young:2013:10.1145/2429069.2429104,
author = {Dinsdale-Young, T and Birkedal, L and Gardner, P and Parkinson, M and Yang, H},
doi = {10.1145/2429069.2429104},
pages = {287--300},
publisher = {ACM},
title = {Views: compositional reasoning for concurrent programs},
url = {http://dx.doi.org/10.1145/2429069.2429104},
year = {2013}
}