Email Record: Formal foundations for software engineering methods /