BibTex format
@article{Dinsdale-Young:2018:10.1016/j.jlamp.2018.03.003,
author = {Dinsdale-Young, TW and da, Rocha Pinto P and Gardner, PA},
doi = {10.1016/j.jlamp.2018.03.003},
journal = {Journal of Logical and Algebraic Methods in Programming},
pages = {1--25},
title = {A perspective on specifying and verifying concurrent modules},
url = {http://dx.doi.org/10.1016/j.jlamp.2018.03.003},
volume = {98},
year = {2018}
}