@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}
}