Enviar Registro por Correo electrónico: Abstract state machines, Alloy, B, TLA, VDM, and Z :