Programmed Semantics for Composition - Radner, Sanford R (New York: Holt, Rinehart and Winston, Inc., 1970)