Diseño automatizado de sistemas digitales - Ramírez Artavia, Gilbert (1988)