Wu, Shuang (2011) Dataflow synthesis and verification for parallel object-oriented programming languages. Masters thesis, Memorial University of Newfoundland.