Email Record: Theory and formal methods of computing 94 :