Email Record: Fully abstract models of programming languages /