Van der Goot, Marcel Rene (1995) Semantics of VLSI synthesis (Dissertation (Ph.D)), California Institute of Technology doi: 10.7907/SR5V-KT18
