Email Record: A programming approach to computability /