Yuyue Du Changjun Jiang Verifying Functions in Online Stock Trading Systems. 203-212 2004 19 J. Comput. Sci. Technol. 2 http://dx.doi.org/10.1007/BF02944798 db/journals/jcst/jcst19.html#DuJ04