@article{BrienMartin:Calculus,
  title = "A calculus for schemas in {Z}",
  author = "Stephen Brien and Andrew Martin",
  year = "2000",
  journal = "J. Symbolic Computation",
  number = "1",
  pages = "63--91",
  volume = "30",
}