1-2 of 2 Books
Introduction à la théorie des langages de programmation
By Bertrand Meyer
Formal specification of programming languages
By Frank G. Pagan