@mastersthesis{james08masters,
  title = "A Functional and Monadic Proof Assistant for Streams",
  author = "Daniel W.H. James",
  year = "2008",
  month = "September",
  school = "University of Oxford",
  url = "http://www.comlab.ox.ac.uk/people/daniel.james/mastersthesis.html",
}