Markus Wolf Books
Specification of abstract data types
Specification of Abstract Data Types provides an authoritative introduction to the mathematical foundations of algebraic program specification. Unlike most other publications on the subject, this...
Read More