Publication

IEEE Transactions on Computers