Design Automation, Languages, and Simulations door Wai-Fah Chen & Wai Kai Chen