@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 '02)",
  editor = "Boiten, Eerke A. and Möller, Bernhard",
  location = "Dagstuhl, Germany",
  month = "jul",
  pages = "131--147",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "2386",
  doi = "10.1007/3-540-45442-X\_9",
}