@mastersthesis{winters-msc, author = "Brian D. Winters", title = "Source-Level Transformations for Improved Formal Verification", school = "University of British Columbia", year = 2000, month = Aug }