@mastersthesis{rakamaric-msc-06,
  author = {Zvonimir Rakamari\'c},
  title = {{A Logic and Decision Procedure for Verification of
            Heap-Manipulating Programs}},
  school = {The University of British Columbia},
  year = {2006},
  month = {August}
}