@phdthesis{Tuch:phd,
    address          = {Sydney, Australia},
    author           = {Harvey Tuch},
    month            = aug,
    paperurl         = {https://trustworthy.systems/publications/papers/Tuch%3Aphd.pdf},
    school           = {UNSW},
    title            = {Formal Memory Models for Verifying {C} Systems Code},
    year             = {2008}
  }