@techreport{Gibbons97:Conditionals,
  title = "Conditionals in Distributive Categories",
  author = "Jeremy Gibbons",
  year = "1997",
  institution = "School of Computing and Mathematical Sciences, Oxford Brookes University",
  month = "jan",
  number = "CMS-TR-97-01",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/conditionals.ps.gz",
}