Définition et Etude des Bilangages Réguliers - Claude Pair; Alain Quéré (Inf. Control., 1968)

Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence. - Manfred Broy; Martin Wirsing; Jean-Pierre Finance; Alain Quéré; Jean-Luc Rémy (Inf. Process. Lett., 1979)

SPES: un système de transformation de programmes logiques. - Francis Alexandre; Jean-Pierre Finance; Alain Quéré (SPLT, 1988)

On Using Mode Input-output for Transforming Logic Programs. - Francis Alexandre; Khaled Bsaïes; Alain Quéré (LOPSTR, 1991)

Spes: A System for Logic Program Transformation. - Francis Alexandre; Khaled Bsaïes; Jean-Pierre Finance; Alain Quéré (LPAR, 1992)

Transformation of generate and test logic programs. - Khaled Bsaïes; Francis Alexandre; Alain Quéré (Methods Log. Comput. Sci., 1994)