@inproceedings{Degano,
    doi = {10.1109/lics.1989.39172},
    url = {https://doi.org/10.1109%2Flics.1989.39172},
    publisher = {{IEEE} Comput. Soc. Press},
    author = {P. Degano and J. Meseguer and U. Montanari},
    title = {Axiomatizing net computations and processes},
    booktitle = {[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science}
}

@inproceedings{Degano, doi = {10.1109/lics.1989.39172}, url = {https://doi.org/10.1109%2Flics.1989.39172}, publisher = {{IEEE} Comput. Soc. Press}, author = {P. Degano and J. Meseguer and U. Montanari}, title = {Axiomatizing net computations and processes}, booktitle = {[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science} }