Code for "Introduction to Systematic Program Design" coursera course.