An Introduction to Discrete Mathematics, Formal System Specification, and Z (Oxford Applied Mathematics & Computing Science Series)
D. C. Ince is at The Open University.