Email Record: Formal aspects of computing /