@inproceedings{deMoor&Gibbons00:Pointwise,
  title = "Pointwise Relational Programming",
  author = "Oege de Moor and Jeremy Gibbons",
  year = "2000",
  booktitle = "Algebraic Methodology and Software Technology",
  month = "may",
  pages = "371--390",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/pointwise.ps.gz",
  volume = "1816",
}