Formal modeling for structured document in cloud computing
XIONG Jinbo YAO Zhiqiang JIN Biao
Journal of Computer Applications . 2013, (05): 1267 -1270 .  DOI: 10.3724/SP.J.1087.2013.01267