Herramientas para el diseño automatizado (I). - Ayala Rodrigo, José Luis