A relevant classic: Formal Requirements for Virtualizable Third Generation Architectures

# Mark S. Miller (17 years ago)

Gerald J. Popek and Robert P. Goldberg. Formal Requirements for Virtualizable Third Generation Architectures. Communications of the ACM, 17(7):412–421, 1974.

portal.acm.org/citation.cfm?id=361073