Look under the name "tortoise and hare".
Cycle detection is indeed in Dijkstra's "A Discipline of Programming".
I think it may also be in Knuth.
It's a very old technique with many uses.