Guy Gousineau et Jean-Marie Rifflet, « Langages d'Interpretation des schémas récursifs », Rev. Française Automat. Informat. Recherche Opérationnelle Sér. Rouge Informat. Théor., vol. 9, no R-1, , p. 21-42 (MR0411250).
Guy Cousineau et Jean-Marie Rifflet, Schémas de programme : problèmes d'équivalence et complexité (mémoire de thèse), Université Paris-Diderot - Paris 7, , 227 p. (SUDOC124185037).