BibTex format
@article{Dezani-Ciancaglini:2016:10.4204/EPTCS.203.3,
author = {Dezani-Ciancaglini, M and Ghilezan, S and Jaki, S and Pantovi, J and Yoshida, N},
doi = {10.4204/EPTCS.203.3},
journal = {Electronic Proceedings in Theoretical Computer Science},
pages = {29--43},
title = {Precise subtyping for synchronous multiparty sessions},
url = {http://dx.doi.org/10.4204/EPTCS.203.3},
volume = {203},
year = {2016}
}