@article{PU07,
   author = {I.C.C. Phillips and I. Ulidowski},
   title = {Reversing algebraic process calculi},
   journal = {Journal of Algebraic and Logic Programming},
   volume = 73,
   number = {1-2},
   pages = {70-96},
   year = 2007
}