Transe: An Experimental Transformation Assistant Software for Digital Circuit Design (1992)

by G Durrieu, K Kessaci, M Lemaitre
Venue:Workshop on Designing Correct Circuits, Lyngby