@article{sttt2009-clqr,
  author = {Shaunak Chatterjee and Shuvendu K. Lahiri and
    Shaz Qadeer and Zvonimir Rakamari\'c},
  title = {A Low-Level Memory Model and an Accompanying Reachability
    Predicate},
  journal = {International Journal on Software Tools for Technology
    Transfer (STTT)},
  volume = {11},
  number = {2},
  year = {2009},
  month = {February},
  pages = {105--116},
  publisher = {Springer}
}