Semántica operacional. Evaluación de instrucciones
Se presenta la semántica operacional de paso pequeño de un lenguaje imperativo sencillo. Villanueva García, A. (2016). Semántica operacional. Evaluación de instrucciones. http://hdl.handle.net/10251/67035