Olivos, E. “Omisión De Tipos Para Álgebras Parciales”. CUBO, A Mathematical Journal, no. 7, Dec. 1991, pp. 22–32, https://www.perspectivasdelacomunicacion.cl/ojs/index.php/cubo/article/view/1826.