Understanding Programming Languages Cliff B. Jones E-Book (pdf)

Object Orientation with Parallelism and Persistence Burkhard Freitag, Cliff B. Jones, Christian Lengauer E-Book (pdf)

The Practice of Formal Methods E-Book (pdf)