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