La semántica de acción de Java - Díaz-Guillén, Ramón Esmirde (R. E. Díaz-G., 1999)