@MastersThesis{Lam00concurrent,
  author =       {Patrick Lam},
  title =        {A Generalized Framework for the Flow Analysis of Concurrent Programs},
  school =       {McGill University},
  year =         {2000},
  month =        {August}
}