Serna Montoya, E. Métodos Formales E Ingeniería De Software. Rev. virtual univ. catol. norte 2011, 1, 158-184.