@ARTICLE{Li2011,
  author = {Shaochong Li and Haopeng Chen and Xi Chen},
  title = {Analyzing and Verifying SOFL Workflows for Web Service Composition},
  journal = {International Journal of Computing Technology and Information Security},
  year = {2011},
  volume = {1},
  pages = {30-39},
  month = {mar.},
  owner = {jessie},
  timestamp = {2011.10.04}
}