Michel Crastes de Paulet. Spécification et simulation fonctionnelles de circuits complexes : le système CADOC. (Specification and functional simulation of complex circuits: the CADOC system). PhD thesis, Grenoble Institute of Technology, France, 1985. [doi]
Abstract is missing.