Electronic design automation synthesis, verification, and test - Wang, Laung-Terng (Elsevier/Morgan Kaufmann, 2009)
V elektronické verzi chybí titulní list