Se presenta un ejemplo de traza de ejecución de un programa sencillo ilustrando la semántica operacional de paso pequeño Villanueva García, A. (2016). Un ejemplo de traza de ejecución siguiendo una semántica operacional de paso pequeño. http://hdl.handle.net/10251/66633