@mastersthesis{Hague2004,
  author = "M. Hague",
  booktitle = "Static Checkers for Tree Structures and Heaps.",
  school = "Imperial College London",
  title = "Static Checkers for Tree Structures and Heaps",
  year = "2004",
}