Binary decision diagrams : Theory and implementation - Drechsler, R.; Becker, Bernd (Kluwer Academic Publishers, 1998)