Email Record: Mathematical Foundation of Programming Semantics :