Email Record: Synchronous programming of reactive systems /