@incollection{Takeuchi_1994,
    doi = {10.1007/3-540-58184-7_118},
    url = {https://doi.org/10.1007%2F3-540-58184-7_118},
    year = {1994},
    publisher = {Springer Berlin Heidelberg},
    pages = {398--413},
    author = {Kaku Takeuchi and Kohei Honda and Makoto Kubo},
    title = {An interaction-based language and its typing system},
    booktitle = {{PARLE}{\textquotesingle}94 Parallel Architectures and Languages Europe}
}

@incollection{Takeuchi_1994, doi = {10.1007/3-540-58184-7_118}, url = {https://doi.org/10.1007%2F3-540-58184-7_118}, year = {1994}, publisher = {Springer Berlin Heidelberg}, pages = {398--413}, author = {Kaku Takeuchi and Kohei Honda and Makoto Kubo}, title = {An interaction-based language and its typing system}, booktitle = {{PARLE}{\textquotesingle}94 Parallel Architectures and Languages Europe} }