Verifiable Programming (Prentice-hall International Series in Computer Science)

The Art of Computer Programming Volumes 1 (1998) & 2 (1998) by Donald Knuth HC

Prentice Hall International Series in Computer Science: Programming from...

COMMON LISP. THE LANGUAGE. SECOND EDITION By Guy Steele *SEALED*

Programming in ADA (International computer science series),J.G ,

Programming in Ada 95 (International Computer Science Series) - Paperback - GOOD

Programming Language Essentials (International Computer Science Series)

The C++ Programming Language (Addison-Wesley series in computer science) - GOOD