Amellal, S., & Kaminska, B. (1994). Functional synthesis of digital systems with TASS. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 13(5), 537-552. Lien externe
