There's this in mathematics. Also, this website might be a good place to look, though most of its examples seem less advanced than what you are looking for.
Thanks! Given that that site lists Egan (and other works that I knew about) and it strives to be complete, it seems it's what I had been looking for.
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.