Binary decision diagrams : theory and implementation - Drechsler, Rolf (Kluwer Academic Publishers, 1998)