BibTex format
@article{Carbone:2016:10.1007/s00236-016-0285-y,
author = {Carbone, M and Montesi, F and Schürmann, C and Yoshida, N},
doi = {10.1007/s00236-016-0285-y},
journal = {Acta Informatica},
pages = {243--269},
title = {Multiparty session types as coherence proofs},
url = {http://dx.doi.org/10.1007/s00236-016-0285-y},
volume = {54},
year = {2016}
}