"IEEE Computer Society", IEEE Transactions on Computers vol. 34 no. , p. c2, , 1985