Amazed that the author didn't include a reference to H.G. Wells' Time Machine. It's a formic parallel to the Eloi and Morlocks.