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