There are several more books. For example: https://www.goodreads.com/book/show/1032517.The_Schematics_Of_Computation https://www.goodreads.com/book/show/103251

There are several more books. For example: https://www.goodreads.com/book/show/1032517.The_Schematics_Of_Computation https://www.goodreads.com/book/show/1032517.The_Schematics_O... Also in that league, but using a different language Mozart/Oz: https://www.info.ucl.ac.be/~pvr/book.html https://www.info.ucl.ac.be/~pvr/book.html German: Schreibe Dein Programm http://www.deinprogramm.de/sdp/ http://www.deinprogramm.de/sdp/