Two books: (I really enjoyed the first one, multiple times)
"Threaded Interpretive Languages", by R. G. Loeliger.
"Stack Computers: The New Wave", by Philip Koopman.
Two short papers: (maybe not profound, but they're short and available online)
"Handling Multiple Data Types in Forth", by John J Wavrik. https://www.math.ucsd.edu/~jwavrik/pub/11_jfar.pdf
"Literate Programming in Forth", by Peter Knaggs. https://rigwit.co.uk/papers/literate.html
"Object Oriented Forth" by Dick Pountain is a succinct and practical exploration of applying Forth's metaprogramming capabilities to extend the language with various features. The best aspect of the book is that it works through many alternatives rather than taking a direct path. It's more about data structures and abstraction than OOP.
Julian Noble (https://www.taygeta.com/fsl/docs/NobleArchive.html) also wrote a number of very interesting articles and books about Forth. There's an apparently ongoing project to re-typeset his "Scientific Forth": https://github.com/Josefg/Scientific_FORTH.
Can you please suggest any reference which explores forth in depth and goes into the subtleties. I am starting out on the Leo Brodie books.