The Use of Control Flow and Control Dependence in Software Tools - Ball, Thomas J (University of Wisconsin-Madison Department of Computer Sciences, 1993)