Formal Requirements for Virtualizable Third Generation Architectures (1974) [pdf]cs.nyu.edu21 pointsadgasf10 years ago