In a previous letter where I gave my new address I also announced a paper "Feedback, trace and fixed-point semantics". By mistake, it was not actually available on my home page at the time. In any case an improved version is now available at http://www.unico.it/~walters/papers/fics.pdf Bob Walters