A: Los Angeles, California, United States
In 1974 American computer scientist Gerald J. Popek of UCLA and Robert P. Goldberg published Formal Requirements for Virtualizable Third Generation Architectures, a set of conditions sufficient to support system virtualization efficiently in computer architecture.
"Even though the requirements are derived under simplifying assumptions, they still represent a convenient way of determining whether a computer architecture supports efficient virtualization and provide guidelines for the design of virtualized computer architectures."