Email Record: Formal methods in programming and their applications :