cid book
CID - ETTI
Loops and complexity in Digital Systems
Compiling ESTEREL circuits into finite states machines BRES Yannis Stage de DEA d’Informatique 1998/1999.
0-BOOK.pdf