Cita APA (7a ed.)

Baum, G. A. Aportes para la verificación eficiente de sistemas utilizando el cálculo relacional. CACIC 2001 [CD-ROM].

Cita Chicago Style (17a ed.)

Baum, Gabriel Alfredo. "Aportes Para La Verificación Eficiente De Sistemas Utilizando El Cálculo Relacional." CACIC 2001 [CD-ROM] .

Cita MLA (9a ed.)

Baum, Gabriel Alfredo. "Aportes Para La Verificación Eficiente De Sistemas Utilizando El Cálculo Relacional." CACIC 2001 [CD-ROM], .