@inproceedings{martinfidge:lifting,
  author = "A. Martin and C. Fidge",
  booktitle = "Proceedings of CATS'2001",
  number = "42",
  series = "Electronic Notes in Theoretical Computer Science",
  title = "Lifting in {Z}",
  year = "2001",
}