Comment by lkuty

Rediscovering it through the Dafny programming language. Brings back memories of a 1994 University course.