E. Olivos, “Omisión de Tipos para Álgebras Parciales”, CUBO, no. 7, pp. 22–32, Dec. 1991.