ジェラルド・J・ポペック(GeraldJ.Popek)とロバート・P・ゴールドバーグ(RobertP.Goldberg)の1974年の論文"FormalRequirementsforVirtualizableThirdGenerationArchitectures"(仮想化可能な第三世代アーキテクチャへの要件)で示された。
杰拉尔德·J·波佩克与罗伯特·P·戈德堡于1974年合作论文《可虚拟第三代架构的规范化条件（英语：FormalRequirementsforVirtualizableThirdGenerationArchitectures）》中提出。