Viso, A., Bonelli, E., & Ayala-Rincón, M. Type Soundness for Path Polymorphism.
Cita Chicago Style (17a ed.)Viso, A., E. Bonelli, y M. Ayala-Rincón. Type Soundness for Path Polymorphism.
Cita MLA (8a ed.)Viso, A., et al. Type Soundness for Path Polymorphism.
Precaución: Estas citas no son 100% exactas.