@unpublished{monads-tactics,
  title = "A Monadic Interpretation of Tactics",
  author = "Andrew Martin and Jeremy Gibbons",
  note = "Submitted to MPC2002",
}