I have two books in me at the moment. 1. Domain Modeling - A tutorial to learn the skills of analyzing domains and encoding them in software. 2. Leverage Machines - A series of compilers for languages that give you high leverage: FORTH, OOP, Lisp, and Logic, each built on the previous one. I don't think either will be super popular, but I think you may be interested in them.

2. sounds like a variation on the approach taken by Concepts, Techniques, and Models of Computer Programming. Would you be interested in outlining some differences and similarities? 🙂

I haven't read that. I should get it.