Minaton, Shin-Ichi Binary decision diagrams and applications for vlsi cad - BOSTON KLUWER 1996 - XIII, 143P ISBN: 0-7923-9652-9 Dewey Class. No.: 621.395 MIN'B