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