The E hardware verification language - Iman, Sasan (Kluwer Academic Publishers, 2004)
Includes index.