@mastersthesis{Matthews:be, address = {Sydney, Australia}, author = {Josh Matthews}, month = jun, paperUrl = {https://trustworthy.systems/publications/theses_public/10/Matthews%3Abe.pdf}, school = {School of Computer Science and Engineering}, title = {Native {OKL4} Web Browser}, year = {2010} }