An Introduction to Programming With Specifications: A Mathematical Approach, Boz

Introduction to Programming Using Java: An Object-Oriented Approach: Java 2 Upda

Programming in Ada 2005 with CD, John Barnes

C notes, a guide to the C programming language, C. T Zahn

Programming Logics: An Introduction to Verification and Semantics, Raymond D. Gu

Tutorial Introduction to Occam Programming, D. Pountain et David May

Input Language for Automatic Programming Systems, A.P. Yershov

Programming: An Introduction to Computer Languages and Techniques, Ward Douglas