Gerald J. Popek, Robert P. Goldberg. Formal Requirements for Virtualizable Third Generation Architectures. In SOSP. pages 121, 1973.
@inproceedings{PopekG73,
title = {Formal Requirements for Virtualizable Third Generation Architectures},
author = {Gerald J. Popek and Robert P. Goldberg},
year = {1973},
tags = {architecture},
researchr = {https://researchr.org/publication/PopekG73},
cites = {0},
citedby = {0},
pages = {121},
booktitle = {SOSP},
}