@INPROCEEDINGS{Fu2010,
  author = {Quanmin Fu and Jian Liang and Haopeng Chen and Fenglin Bu},
  title = {The Research on Formal Specification and Review of Workflows},
  booktitle = {Internet and Web Applications and Services (ICIW), 2010 Fifth International
	Conference on},
  year = {2010},
  pages = {19 -25},
  month = {may},
  doi = {10.1109/ICIW.2010.11},
  keywords = {BPEL language;SOFL language;business process execution language;formal
	semantics;formal specification;workflow review;formal specification;specification
	languages;workflow management software;}
}