@MASTERSTHESIS{liMasters04,
  author = {Lin Li},
  title = {A practical {MHP} information computation for concurrent {Java} programs},
  school = {McGill University},
  year = {2004},
  month = {August},
}