Petry, Fredrick. "Program inference from example computations represented by memory snapshot traces /." Doctoral dissertation, Ohio State University, 1974. http://rave.ohiolink.edu/etdc/view?acc_num=osu1486991991166077Chicago Manual of Style (17th edition)