Semantics and Algebraic Specification More Books by Jens Palsberg

Principles and Practices of Building Parallel Software

Modern Compiler Implementation in Java

Model Checking Software