Olivos, E. 1991. Omisión de Tipos para Álgebras Parciales. CUBO, A Mathematical Journal. 7 (Dec. 1991), 22–32.