Formal Requirements for Virtualizable Third Generation Architectures

Gerald J. Popek, Robert P. Goldberg. Formal Requirements for Virtualizable Third Generation Architectures. In SOSP. pages 121, 1973.

Abstract

Abstract is missing.