Integración efectiva de paradigmas de especificación de software - Espino Barrios, Luis Fernando (2010)