Mikhail J. Atallah 663-666 1985 34 IEEE Trans. Computers 7 db/journals/tc/tc34.html#Atallah85 http://doi.ieeecomputersociety.org/10.1109/TC.1985.1676605