@InProceedings{KleinTuchTPHOLs04,
  author = 	 {Gerwin Klein and Harvey Tuch},
  title = 	 {Towards Verified Virtual Memory in L4},
  booktitle = 	 {TPHOLs Emerging Trends '04},
  pages = 	 {16 pages},
  year = 	 {2004},
  editor = 	 {Konrad Slind},
  address = 	 {Park City, Utah, USA},
  month = 	 Sep,
  note = 	 {available from \url{http://www.cse.unsw.edu.au/~kleing/papers/towards-verified-vm.pdf}},
}