@article{Baeten_1986,
    doi = {10.3233/fi-1986-9202},
    url = {https://doi.org/10.3233%2Ffi-1986-9202},
    year = {1986},
    month = {apr},
    publisher = {{IOS} Press},
    volume = {9},
    number = {2},
    pages = {127--167},
    author = {J.C.M. Baeten and J.A. Bergstra and J.W. Klop},
    title = {Syntax and Defining Equations for an Interrupt Mechanism in Process Algebra1},
    journal = {Fundamenta Informaticae}
}

@article{Baeten_1986, doi = {10.3233/fi-1986-9202}, url = {https://doi.org/10.3233%2Ffi-1986-9202}, year = {1986}, month = {apr}, publisher = {{IOS} Press}, volume = {9}, number = {2}, pages = {127--167}, author = {J.C.M. Baeten and J.A. Bergstra and J.W. Klop}, title = {Syntax and Defining Equations for an Interrupt Mechanism in Process Algebra1}, journal = {Fundamenta Informaticae} }