Hubert Garavel: Compilation et vérification de programmes LOTOS. Joseph Fourier University, Grenoble, France 1989