Logic : A Modular Approach (1978) by Donald Scherer and Peter Very Good

Writing Compilers and Interpreters: An Applied Approach using C++, 2nd Edition

Advanced Compiler Design and Implementation By Steven Muchnick

Principles of Compiler Design

Advanced Verification Techniques: A SystemC Based Approach By Leena Singh

Anatomy of a Silicon Compiler by Robert W. Brodersen (English) Hardcover Book

A Practical Approach to Compiler Construction - 9783319527871

Writing Compilers and Interpreters: An Applied Approach Using C++ by Ronald Mak