Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook inbundenEngelska, 2005