@inproceedings{Hin02Con,
  title = "Constructing tournament representations: {An} exercise in pointwise relational programming",
  author = "Hinze, Ralf",
  year = "2002",
  affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
  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",
  location = "Dagstuhl, Germany",
  month = "jul",
  pages = "131--147",
  publisher = "Springer",
  series = "LNCS",
  volume = "2386",
  doi = "10.1007/3-540-45442-X_9",
}