Logic synthesis and verification algorithms - Hachtel, Gary D (Springer, 2006)
Includes bibliographical references and index