A connotational theory of program structure | lit.salon