Transe: An Experimental Transformation Assistant for Digital Circuit Design. - Durrieu, Guy; Kessaci, Kamel; Lemaître, Michel (1992)