Martínez López, P. E. Static type systems: From specification to implementation. https://doi.org/10.4018/978-1-59140-851-2.ch011
Cita Chicago Style (17a ed.)Martínez López, Pablo Ernesto. Static Type Systems: From Specification to Implementation. https://doi.org/10.4018/978-1-59140-851-2.ch011.
Cita MLA (9a ed.)Martínez López, Pablo Ernesto. Static Type Systems: From Specification to Implementation. https://doi.org/10.4018/978-1-59140-851-2.ch011.
Precaución: Estas citas no son 100% exactas.