"IEEE Computer Society", IEEE Transactions on Computers vol. 30 no. , p. c2, , 1981