@article{Katis_2002,
    doi = {10.1051/ita:2002009},
    url = {https://doi.org/10.1051%2Fita%3A2002009},
    year = {2002},
    month = {apr},
    publisher = {{EDP} Sciences},
    volume = {36},
    number = {2},
    pages = {181--194},
    author = {P. Katis and Nicoletta Sabadini and Robert F.C. Walters},
    title = {Feedback, trace and fixed-point semantics},
    journal = {{RAIRO} - Theoretical Informatics and Applications}
}

@article{Katis_2002, doi = {10.1051/ita:2002009}, url = {https://doi.org/10.1051%2Fita%3A2002009}, year = {2002}, month = {apr}, publisher = {{EDP} Sciences}, volume = {36}, number = {2}, pages = {181--194}, author = {P. Katis and Nicoletta Sabadini and Robert F.C. Walters}, title = {Feedback, trace and fixed-point semantics}, journal = {{RAIRO} - Theoretical Informatics and Applications} }