2 ms·Formal Requirements for Virtualizable Third Generation Architectures (1974) [pdf]1 points by pillars 11mo ago