Kaelbling, Michael. "Braced languages and a model of translation for context-free strings : theory and practice /." Doctoral dissertation, Ohio State University, 1987. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487584612166164Chicago Manual of Style (17th edition)