@TECHREPORT{UNIVAQ9801, 
	author = {Benedetto Intrigila and  Giuseppe Della Penna},
	title = {A New Approach to Operational Semantics: the Virtual Turing Machines, Part I: General Setting}, 
	institution = {Università degli Studi di L'Aquila, Dipartimento di Matematica Pura ed Applicata}, 
	number = {12},
	year = {1998},
	month = {7}
}