Email Record: Formal models in programming :