Becker, Bernd: Binary Decision Diagrams