@TechReport{Thomas08b,
  author = 	 {Paul Thomas},
  title = 	 {Implementation of {PIS}},
  institution =  {Department of Computer Science, Australian National University},
  year = 	 2008,
  number = 	 {200802},
  month = 	 {June},
  note = 	 {\url{http://es.csiro.au/pubs/thomas_dcstr08.pdf}}
}