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