The e hardware verification language - Iman, Sasan. (Kluwer Academic Publishers, 2004)
Περιέχει ευρετήριο.