Guy Durrieu Kamel Kessaci Michel Lemaître Transe: An Experimental Transformation Assistant for Digital Circuit Design. 103-118 1992 conf/ifip10-2/1992a Designing Correct Circuits db/conf/ifip10-2/ifip10-2-1992a.html#DurrieuKL92