[1] 蓝天强,吴卫南. 电子商务在广西食糖批发市场的应用研究[A]. “亚细亚杯”流通现代化研讨会论文集[C], 2004 .
[2] 李小五. 加标动态逻辑及其若干应用[A]. 2005年逻辑研究专辑[C], 2005 .
[3] 郭华,庄雷. 电子商务协议的形式化验证方法及FR验证实例[A]. 2005年全国理论计算机科学学术年会论文集[C], 2005 .