D. C. Ince profile picture

D. C. Ince

An Introduction to Discrete Mathematics, Formal System Specification, and Z
Mechanical Intelligence, Volume 1