@unpublished{Martin:Monads,
  title = "Of Tactics and Monads",
  author = "Andrew Philip Martin",
  year = "1996",
  note = "Work in progress",
}