"Formal Requirements for Virtualizable Third Generation Architectures."

Gerald J. Popek, Robert P. Goldberg (1973)
a service of Schloss Dagstuhl - Leibniz Center for Informatics