D. C. Ince

• An Introduction to Discrete Mathematics, Formal System Specification, and Z
• An introduction to discrete mathematics and formal system specification
• Mechanical Intelligence