@article{BM:schemas,
  title = "A Calculus for Schemas in {Z}",
  author = "S. M. Brien and A. P. Martin",
  year = "2000",
  journal = "J. Symbolic Computation",
  number = "1",
  pages = "63--91",
  volume = "30",
}