Email Record: Recent advances in formal languages and applications /