The former head of East Germany's foreign intelligence department describes his career in espionage and life in the post-Cold War world (view table of contents)

Product Description: 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 book does not draw on category theory, but instead tries to demystify the topic and promote its use in practical applications...read more (view table of contents, read Amazon.com's description)