Formal Requirements for Virtualizable Third Generation Architectures (1974) [pdf] | Dark Hacker News