Rouleau, Paul (1988) A semantical framework for practical program flow analysis. Masters thesis, Concordia University.