Email Record: A connotational theory of program structure /