Relevant course notes from a course at Carnegie Mellon - http://www.cs.cmu.edu/~fp/courses/15122-s11/recitations/recitation02.html#invariants http://www.cs.cmu.

Relevant course notes from a course at Carnegie Mellon - http://www.cs.cmu.edu/~fp/courses/15122-s11/recitations/recitation02.html#invariants http://www.cs.cmu.edu/~fp/courses/15122-s11/recitations/reci...