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