Popek-Goldberg virtualization requirements

From dankwiki