Programming Erlang

Somewhat varied but I think some of these may fit your criteria. Programming Erlang by Joe Armstrong Communicating Sequential Processes by Hoare The algorithmic beauty of plants by Prusinkiewicz, Lindenmayer Network Performance Analysis Using the J Programming Language by Alan Holt Relational Programming in miniKanren by William Byrd Exercises in Programming Style by Cristina Videira Lopes edit: also "SAT/SMT by example" by Dennis Yurichev

Programming Erlang.

Eloquent Ruby is one of my favorite books, too. That book really motivated me to learn how programming languages work. Here are a few other books I found to be enjoyable and well-written: Programming Erlang by Joe Armstrong Programming Elixir by Dave Thomas Seven (more) Languages In Seven Weeks by Bruce Tate Think Bayes, Think OS, How To Think Like A Functional Programmer (Think OCaml) and The Little Book of Semaphores by Allen B. Downey

Armstrong's book on Erlang (2007) is a great read, so you're missing that. (Erlang itself I haven't really used much, but I like some of the concepts). Alexandrescu's Modern C++ Design (2001) is a real eye-opener (though I wouldn't use most of the stuff from the latter half of book in real production). Herb Sutter's books on Exception C++ (1999) are must-reads if you intend to use exceptions. at. all. [Whereupon, these books will convince you not to use exceptions in C++ :-) ]

Best "learn a language" book I've read was the first edition of Joe Armstrong's Programming Erlang book. For a Software Engineering book, it's hard to beat The Pragmatic Programmer. A good working-with-other-people book is Extreme Programming Explained 2nd ed.