Binary Decision Diagrams by Bernd Becker & Rolf Drechsler