@incollection{Honda_1998,
    doi = {10.1007/bfb0053567},
    url = {https://doi.org/10.1007%2Fbfb0053567},
    year = {1998},
    publisher = {Springer Berlin Heidelberg},
    pages = {122--138},
    author = {Kohei Honda and Vasco T. Vasconcelos and Makoto Kubo},
    title = {Language primitives and type discipline for structured communication-based programming},
    booktitle = {Programming Languages and Systems}
}

@incollection{Honda_1998, doi = {10.1007/bfb0053567}, url = {https://doi.org/10.1007%2Fbfb0053567}, year = {1998}, publisher = {Springer Berlin Heidelberg}, pages = {122--138}, author = {Kohei Honda and Vasco T. Vasconcelos and Makoto Kubo}, title = {Language primitives and type discipline for structured communication-based programming}, booktitle = {Programming Languages and Systems} }