Journal of the Association for Computing Machinery - Miller, Raymond E. (1975)