@TechReport{pickett-05-formal-TR,
  author = 		 {Christopher J. F. Pickett},
  title = 		 {Formal Verification of Computer Narratives},
  institution =  {GR@M: Games Research At McGill, School of Computer Science, McGill University},
  year = 		 2005,
  month = dec,
  number =		 {GR@M-TR-2005-1},
}