Interesting. If you want a recursive version of topological sort, I've written one for my Gantt diagrams module (it's like the versione proposed by Aho, Hopcroft and Ullman in Data Structures and Algorithms)