Functional Programming and Program Verification (Winter Semester 2014)