Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications by Thorsten Theobald, Christoph Meinel (Paperback, 1998)