IEEE Transactions on Computers (1997)