Proceedings of the second symposium on Operating systems principles - Denning, Peter J. (Association for Computing Machinery,)