Stephen H. Unger 447-451 1981 30 IEEE Trans. Computers 6 db/journals/tc/tc30.html#Unger81 http://doi.ieeecomputersociety.org/10.1109/TC.1981.1675811