An Introduction to Discrete Mathematics, Formal System Specification, and Z