@inproceedings{Tuch_Klein_05,
    address          = {Montego Bay, Jamaica},
    author           = {Harvey Tuch and Gerwin Klein},
    booktitle        = {International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
    month            = dec,
    pages            = {474--488},
    paperurl         = {https://trustworthy.systems/publications/papers/Tuch_Klein_05.pdf},
    title            = {A Unified Memory Model for Pointers},
    year             = {2005}
  }