Herramientas para el ingeniero de hoy : técnicas de descripción formal - Figueroa Salinas, Miguel Angel (1999)