Email Record: Formal modelling in electronic commerce /