IEEE transactions on computers a publication of the IEEE Computer Society (Institute of Electrical and Electronics Engineers, 1979)