Paper1974
Formal Requirements for Virtualizable Third Generation Architectures
Gerald J. Popek & Robert P. Goldberg
Derives precise conditions an instruction set architecture must satisfy for efficient virtualisation to be possible at all, explaining why some processors of the era could be cleanly virtualised and others could not.
FreeAdvanced