IEEE Transactions on Computers 32(2) February 1983

(1983)