ISBN 9780198538363 books & textbook
An Introduction to Discrete Mathematics, Formal System Specification, and Z (Oxford Applied Mathematics and Computing Science Series)
Clarendon Press /1993-03-18 Paperback / 296 Pages
isbn-10: 0198538367 / isbn-13: 9780198538363
