@TechReport{pull-stream-formalization,
  author = {Erick Lavoie, Laurie Hendren},
  title = {A Formalization for Specifying and Implementing Correct Pull-Stream Modules},
  institution =  {Sable Research Group, School of Computer Science, McGill University},
  number = 	 {SABLE-TR-2018-1},
  year = 	 {2018},
  month = 	 January,
  address =  {Montr\'eal, Qu\'ebec, Canada},
}