@book{1792234,
	author = {Wai-Kai Chen},
	title = {Design Automation, Languages, and Simulations},
	publisher = {Taylor and Francis},
	url = {http://www.taylorfrancis.com/books/9780429214370}
}