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