he Design of Functional Programs - A Calculational ApproachAuthor : Dr. Robert Richard Hoogerwoord, Distributed Systems Group, Technische Universiteit EindhovenPublication Date : 1989 This document was suggested by John PintoDocument Excerpts:It is well-known that there is only one way to establish the correctness of a computer program, namely by rigorous mathematical proof. Acceptance of this f