Jean Mermet: Etude méthodologique de la conception assistée par ordinateur des systèmes logiques : CASSANDRE. Joseph Fourier University, Grenoble, France 1973