@inproceedings{Hin02Con,
  author = "Hinze, Ralf",
  booktitle = "Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC 2002), Dagstuhl, Germany, July 8-10, 2002",
  editor = "Boiten, Eerke A. and M{\"o}ller, Bernhard",
  month = "jul",
  pages = "131--147",
  publisher = "Springer",
  series = "LNCS",
  title = "Constructing tournament representations: {An} exercise in pointwise relational programming",
  volume = "2386",
  year = "2002",
}