E. Serna Montoya, «Métodos formales e Ingeniería de Software», Rev. virtual univ. catol. norte, vol. 1, n.º 30, pp. 158–184, jul. 2011.