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