Previous ed. published as : An introduction to discrete mathematics and formal system specification, 1988.
Bibliography: p280-282. - Includes index.
An introduction to discrete mathematics, formal system specification, and Z by Darrel Ince. ISBN 0198538367. Published by Clarendon in 1992. Publication and catalogue information, links to buy online and reader comments.