Goldberg en su artículo de 1974 "Formal Requirements for Virtualizable Third Generation Architectures".