C. R. Edwards 767 1976 25 IEEE Trans. Computers 7 db/journals/tc/tc25.html#Edwards76 http://doi.ieeecomputersociety.org/10.1109/TC.1976.1674689