VHM : a Virtual Hardware Monitor. - Vittore Casarosa; Carlo Paoil (Workshop on Virtual Computer Systems, 1973)