TY  - GEN
AU  - Gortari,E.De
TI  - Una mecanización del cálculo profesional
ER  -