I've finished refining the algorithm proof and write up on TopoSort and did the complexity analysis as the last step. Finished the benchmarks today and was so happy that the benchmark results fit the asymptotic complexity predication O(|N| + |L|) of the algorithm. Yeaah!