Formal Requirements for Virtualizable Third Generation Architectures.

Gerald J. Popek, Robert P. Goldberg

Browse the full SOSP paper archive.