The author is obviously inspired by Alexander Stepanov's book From Mathematics to Generic Programming (which he links to at https://www.fm2gp.com/). Stepanov's basic thesis is that all problems can be modeled in (abstract) Algebra i.e. by defining "objects and operations on objects" following structures like Groups/Rings/Fields/etc. and it is from this vantage point that we should start problem-solving.
He explained this in his first book Elements of Programming (now freely available at https://www.elementsofprogramming.com/) and then simplified the basic ideas into the above book. In his interviews he often mentions George Chrystal's Algebra books as foundational. These are the ideas that he used to implement STL in C++.
He explained this in his first book Elements of Programming (now freely available at https://www.elementsofprogramming.com/) and then simplified the basic ideas into the above book. In his interviews he often mentions George Chrystal's Algebra books as foundational. These are the ideas that he used to implement STL in C++.
Also related (maybe?) is Paul Halmos and Steven Givant's book Logic as Algebra. MAA review at https://old.maa.org/press/maa-reviews/logic-as-algebra