@article{AlTurkiM08,
  author    = {Musab AlTurki and
               Jos{\'e} Meseguer},
  title     = {Reduction Semantics and Formal Analysis of {Orc} Programs},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {200},
  number    = {3},
  year      = {2008},
  pages     = {25-41},
}