BibTex format
@inproceedings{Lange:2016:10.1007/978-3-662-49674-9_52,
author = {Lange, J and Yoshida, N},
doi = {10.1007/978-3-662-49674-9_52},
pages = {833--850},
publisher = {Springer},
title = {Characteristic Formulae for Session Types},
url = {http://dx.doi.org/10.1007/978-3-662-49674-9_52},
year = {2016}
}