Frasure, Ivan. "Static Evaluation of Type Inference and Propagation on Global Variables with Varying Context ." Master's thesis, Wright State University, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=wright1559667148325266Chicago Manual of Style (17th edition)