Files for Systematic Program Design, summer 2013