@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}
}