An extended version was published in 2020 and is available from Amazon at https://www.amazon.com/Extensional-Models-Combinatory-Calculi-Rewriting/dp/B08R7TGVZ2/.