@mastersthesis{Leslie:be, address = {Sydney, Australia}, author = {Ben Leslie}, month = nov, note = {Available from publications page at \url{http://ts.data61.csiro.au/}}, paperUrl = {https://trustworthy.systems/publications/theses_public/02/Leslie%3Abe.ps.gz}, school = {School of Computer Science and Engineering}, title = {Mungi Device Drivers}, year = {2002} }