Constructive Aspects of the Omega-Rule: Application to Proof Systems in Computer Science and Algorithmic Logic. - Serge Yoccoz (MFCS, 1989)

Recursive (omega)o-Rule for Proof Systems. - Serge Yoccoz (Inf. Process. Lett., 1989)

Effective Solutions to Domain Equations - An Approach to Effective Denotational Semantics. - Serge Yoccoz (CONCUR, 1990)

Fairness, Distances and Degrees. - Philippe Darondeau; Doris Nolte; Lutz Priese; Serge Yoccoz (Theor. Comput. Sci., 1992)

Proof Systems for Infinite Behaviours - Philippe Darondeau; Serge Yoccoz (Inf. Comput., 1992)