Wai-Kai Chen Design Automation, Languages, and Simulations - Taylor and Francis 2003 ISBN: 9780429214370 Source: EBOOK