IEEE TRANSACTIONS ON ELECTRONIC COMPUTERS