2 books in this genre
Essentials of programming languages
Daniel P. Friedman
Understanding Z
J. M. Spivey
