Information Processing Letters 1(3) February 1972

(1972)