Feedback, trace and fixed-point semanticsP. Katis, Nicoletta Sabadini and Robert F.C. WaltersRAIRO-Theor. Inf. Appl., 36 2 (2002) 181-194DOI: https://doi.org/10.1051/ita:2002009
