3 books in this genre
Essentials of programming languages
Daniel P. Friedman
Understanding Z
J. M. Spivey
Simple metrics for programming languages
Bruce J. MacLennan
