BibTex format
@inproceedings{Bakel:2012,
author = {Bakel, SV and Vigliotti, MG},
pages = {372--387},
publisher = {Springer},
title = {An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus - Extended Abstract.},
url = {https://doi.org/10.1007/978-3-642-33475-7},
year = {2012}
}