systèmes schématiques généralises. - Laurent Kott (Theoretical Computer Science, 1977)

Sémantique Algébrique d'un Langage de Programmation Type Algol. - Laurent Kott (RAIRO Theor. Informatics Appl., 1977)

Preuves de programmes sans induction. - Didier Bégay; Laurent Kott (CLAAP, 1980)

A System for Proving Equivalences of Recursive Programs. - Laurent Kott (CADE, 1980)

On the Observational Semantics of Fair Parallelism. - Philippe Darondeau; Laurent Kott (ICALP, 1983)

Recursion Induction Principle Revisited. - Gérard Boudol; Laurent Kott (Theor. Comput. Sci., 1983)

A formal proof system for infinitary rational expressions. - Philippe Darondeau; Laurent Kott (Automata on Infinite Words, 1984)

Towards a Formal Proof System for omega-Rational Expressions. - Philippe Darondeau; Laurent Kott (Inf. Process. Lett., 1984)