Transe: an experimental design tool. - Guy Durrieu; Kamel Kessaci; Michel Lemaître (Algorithms and Parallel VLSI Architectures, 1991)

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