Smaragda Konstantinidou Lawrence Snyder 1386-1397 1994 43 IEEE Trans. Computers 12 db/journals/tc/tc43.html#KonstantinidouS94 http://doi.ieeecomputersociety.org/10.1109/12.338098