Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements. - Ali Mili 001; Jules Desharnais; Jean-Raymond Gagné (Acta Informatica, 1985)

A Non-Standard Temporal Deductive Database System. - Jean-Raymond Gagné; John Plaice (J. Symb. Comput., 1996)

The Non-Standard Semantics of Esterel. - Jean-Raymond Gagné; John Plaice (ASIAN, 1997)