@mastersthesis{Zadarnowski:BE, address = {Sydney, Australia}, author = {Patryk Zadarnowski}, month = nov, note = {Available from publications page at \url{http://ts.data61.csiro.au/}}, paperUrl = {https://trustworthy.systems/publications/theses_public/00/Zadarnowski%3ABE.pdf}, school = {School of Computer Science and Engineering}, title = {The Design and Implementation of an Extendible Instruction Set Simulator}, year = {2000} }