Email Record: An introduction to discrete mathematics and formal system specification /