Email Record: Software prototyping, formal methods, and VDM /