One very important aspect of this paper that I seldom see given proper emphasis is the ability to treat programs algebraically.

Also, check out Manfred von Thun's Joy.