@inproceedings{Gibbons94:Introduction,
  title = "An Introduction to the Bird-Meertens Formalism",
  author = "Jeremy Gibbons",
  year = "1994",
  address = "Hamilton",
  booktitle = "Proceedings of the First New Zealand Formal Program Development Colloquium",
  editor = "Steve Reeves",
  month = "nov",
  pages = "1--12",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/nzfpdc-squiggol.ps.gz",
}