An introduction to discrete mathematics, formal system specification, and Z