@ARTICLE{,
author = {},
journal = {IEEE Transactions on Computers},
title = {IEEE Computer Society Publications},
year = {1976},
volume = {25},
number = {},
pages = {960},
keywords={null},
doi = {10.1109/TC.1976.1674724},
url = {doi.ieeecomputersociety.org/10.1109/TC.1976.1674724},
ISSN = {0018-9340},
month={09}
}