Jean Paul Caisso: Contribution à la vérification des circuits intégrés dans un environnement multivalué. (Contribution to the verification of integrated circuits in a multivalued environment). Grenoble Institute of Technology, France 1987