@TECHREPORT{UNIVAQ9802,
author = {Benedetto Intrigila and Giuseppe Della Penna},
title = {A New Approach to Operational Semantics: the Virtual Turing Machines, Part II: Compiling C++ Code into an Extended JVM, a Theoretical Framework},
institution = {Università degli Studi di L'Aquila, Dipartimento di Matematica Pura ed Applicata},
number = {13},
year = {1998},
month = {7}
}