Semantics and Algebraic Specification More Books by Jens Palsberg

Principles and Practices of Building Parallel Software

Model Checking Software