Example of information and computation resource trade-off. - Daley, R. P. (Journal of the ACM, 1973)