Feedback, trace and fixed-point semantics.

Piergiulio Katis Nicoletta Sabadini Robert F. C. Walters Feedback, trace and fixed-point semantics. 181-194 2002 36 ITA 2 http://dx.doi.org/10.1051/ita:2002009 db/journals/ita/ita36.html#KatisSW02