@article{cats9-6,
  author{Mark Utting, Petra Malik and Ian Toyn},
  title={Transformation Rules for Z}
  journal={Chicago Journal of Theoretical Computer Science},
  volume={2010},
  number={9},
  publisher={University of Chicago},
  month={June},
  year={2010}
}