Jean Mermet: Définition du langage CASSANDRE : pour la conception aidée et la simulation des systèmes logiques, leur analyse, description et réalisation. Joseph Fourier University, Grenoble, France 1970