Van der Goot, Marcel Rene (1995) Semantics of VLSI synthesis. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/SR5V-KT18. https://resolver.caltech.edu/CaltechETD:etd-10162007-093427