Ramírez, C. E. (2008). Semánticas de punto fijo para programas anotados. Una realización por Mho-resolución. Escuela Regional de Matemáticas.
Cita Chicago Style (17a ed.)Ramírez, Carlos Ernesto. Semánticas De Punto Fijo Para Programas Anotados. Una Realización Por Mho-resolución. Escuela Regional de Matemáticas, 2008.
Cita MLA (9a ed.)Ramírez, Carlos Ernesto. Semánticas De Punto Fijo Para Programas Anotados. Una Realización Por Mho-resolución. Escuela Regional de Matemáticas, 2008.
Precaución: Estas citas no son 100% exactas.