Binary Decision Diagrams and Applications for VLSI CAD innbundetEngelsk, 1995