@unpublished{backwards,
  title = "Effective Reasoning about Effectful Traversals",
  author = "Jeremy Gibbons and Richard Bird",
  year = "2011",
  month = "March",
  note = "Submitted for publication",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/backwards.pdf",
}