"IEEE Computer Society Publications", IEEE Transactions on Computers vol. 28 no. , p. 947, , 1979