POD
An Introduction To Discrete Mathematics, Formal System Specification, And Z
D. Ince / Darrel C. Ince