27 books • 8 series
An Introduction to Discrete Mathematics and Formal System Specification (Applied Mathematics & Computing Science S.)
Software Prototyping, Formal Methods and V. D. M.
Business Information Systems