Indeed. Good procgen can be amazing, but bad procgen feels really half-assed. Derek Yu's Spelunky pretty much single-handedly started the current procgen revolution, and he wrote a book about it. :) https://bossfightbooks.com/products/spelunky-by-derek-yu

(He also wrote extensively about it in his blog, as I recall, though I don't have a link handy.)