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
Also recommended in this reply