An Introduction to Discrete Mathematics, Formal System Specification, and Z

Bok av Darrel Ince