PopekとGoldbergの仮想化要件
IA-64 アーキテクチャ上で仮想化を行うための方法が、2000年の Magenheimer と Christian の論文で述べられている