Francis Chung-Ming Lau W. C. Poon 482-485 1998 47 IEEE Trans. Computers 4 db/journals/tc/tc47.html#LauP98 http://doi.ieeecomputersociety.org/10.1109/12.675717