VLSI Specification, Verification and Synthesis - Birtwistle, Graham; Subrahmanyam, P. A. (Kluwer Academic Publishers, 1988)
περιέχει βιβλιογραφία