Shi-Kuo Chang Tosiyasu L. Kunii 13-21 1981 14 IEEE Computer 11 db/journals/computer/computer14.html#ChangK81 http://doi.ieeecomputersociety.org/10.1109/C-M.1981.220243