David Woodcock's spring2015 Opus Data Structures + Systems Programming