http://reply.papertrans.cn/3/215/21496/21496-31.png
http://reply.papertrans.cn/3/215/21496/21496-32.png
http://reply.papertrans.cn/3/215/21496/21496-33.png
Submitted on: 02 October 2011.
Revised on: 10 October 2011.
Accepted on: 21 October 2011.
Mathematics in Computer Science
http://reply.papertrans.cn/3/215/21496/21496-35.png
http://reply.papertrans.cn/3/215/21496/21496-36.png