%0 Book
%A D. C. Ince
%T An introduction to discrete mathematics formal system specification and Z
%U /book/100409378/An-introduction-to-discrete-mathematics-formal-sys/