Xin Li Chieh-Chih Chang Shi-Kuo Chang 440-453 2007 18 J. Vis. Lang. Comput. 4 http://dx.doi.org/10.1016/j.jvlc.2007.02.008 db/journals/vlc/vlc18.html#LiCC07