Some code refactoring and comment enhancing.
Implemented (copied) the DFS-Algorithm according to King and Launchbury.