@article{Baeten_2013,
    doi = {10.1016/j.ic.2013.08.010},
    url = {https://doi.org/10.1016%2Fj.ic.2013.08.010},
    year = {2013},
    month = {oct},
    publisher = {Elsevier {BV}},
    volume = {231},
    pages = {143--166},
    author = {Jos C.M. Baeten and Bas Luttik and Paul van Tilburg},
    title = {Reactive Turing machines},
    journal = {Information and Computation}
}

@article{Baeten_2013, doi = {10.1016/j.ic.2013.08.010}, url = {https://doi.org/10.1016%2Fj.ic.2013.08.010}, year = {2013}, month = {oct}, publisher = {Elsevier {BV}}, volume = {231}, pages = {143--166}, author = {Jos C.M. Baeten and Bas Luttik and Paul van Tilburg}, title = {Reactive Turing machines}, journal = {Information and Computation} }