all rogue likes are procedural then, and so would Depths of Peril, Dominions, Dwarf fortress, Daggerall, Elite
(have all of those apart from Daggerfall which I played a long time ago and still try to buy now and then)
Although I suspect they are after simpler procedural mechanisms and ideas
Always wanted to explore that side of things but a)too chicken b)no idea at the moment