Doron Rotem Nicola Santoro Jeffrey B. Sidney 372-376 1985 34 IEEE Trans. Computers 4 db/journals/tc/tc34.html#RotemSS85 http://doi.ieeecomputersociety.org/10.1109/TC.1985.5009389