@techreport{K04c,
  number="TR2004-1942",
  month="July",
  title="Natural Transformations as Rewrite Rules and Monad Composition",
  author="Dexter Kozen",
  year="2004",
  institution="Computer Science Department, Cornell University"
}