“Formal requirements for virtualizable third generation architectures” è un articolo pubblicato nel 1974 da Popek e Goldberg riguardo le tecniche che vengono usate per capire se un’architettura supporta la virtualizzazione.