Some Experience with the Use of Formal Specifications. - Gregor von Bochmann; Eduard Cerny; Michel Gagné; Claude Jard; Alain Léveillé; Clement Lacaille; Michel Maksud; K. S. Raghunathan; Behçet Sarikaya (PSTV, 1982)

Experience with Formal Specifications Using an Extended State Transition Model. - Gregor von Bochmann; Eduard Cerny; Michel Gagné; Claude Jard; Alain Léveillé; Clement Lacaille; Michel Maksud; K. S. Raghunathan; Behçet Sarikaya (IEEE Trans. Commun., 1982)

Insanely twisted shadow puppets - 12 interstitials. - Michel Gagné (SIGGRAPH Computer Animation Festival, 2006)