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

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

Pascal: an Introduction to the Art and Science of Programming, Walter J. Savitch

Introduction to Logic Programming, Christopher John Hogger

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

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

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

Programming With Specifications: An Introduction to Anna, a Language for Specify