Laung-Terng Wang Edward J. McCluskey 1302-1306 1988 37 IEEE Trans. Computers 10 db/journals/tc/tc37.html#WangM88 http://doi.ieeecomputersociety.org/10.1109/12.5994