A Note on 1-Locally Linear Languages - Jean-Michel Autebert; Luc Boasson; Guy Cousineau (Inf. Control., 1978)

Program Equivalence and Provability. - Guy Cousineau; Patrice Enjalbert (MFCS, 1979)

On Rational Expressions Representing Infinite Rational Trees: Application to the Structure of Flow Charts. - Guy Cousineau; Maurice Nivat (MFCS, 1979)

Three Semantics: A Framework for Studying Program Structures and Program Logics. - Patrice Enjalbert; Guy Cousineau (IFIP Congress, 1980)

An Algebraic Definition for Control Structures. - Guy Cousineau (Theor. Comput. Sci., 1980)

Session Discussion. - Guy Cousineau (Formal Description of Programming Concepts, 1982)

Combinateures, Catégoriques et Implémentation des Languages Fonctionnels. - Guy Cousineau; Pierre-Louis Curien; Michel Mauny; Ascánder Suárez (Combinators and Functional Programming Languages, 1985)

The Categorical Abstract Machine. - Guy Cousineau; Pierre-Louis Curien; Michel Mauny (Sci. Comput. Program., 1987)

Functional Programming and Geometry. - Guy Cousineau (PLILP, 1997)

The functional approach to programming. - Guy Cousineau; Michel Mauny (Cambridge University Press, 1998)

Tilings as a programming exercise. - Guy Cousineau (Theor. Comput. Sci., 2002)