@article{10.1109/TC.1979.1675294,
author = {},
title = {IEEE Computer Society Publications},
journal = {IEEE Transactions on Computers},
volume = {28},
number = {},
issn = {0018-9340},
year = {1979},
pages = {947},
doi = {doi.ieeecomputersociety.org/10.1109/TC.1979.1675294},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}