An introduction to discrete mathematics, formal system specification, and Z | lit.salon