Depth First Search. - Toshiaki Nishihara; Yasuhiko Minamide (Arch. Formal Proofs, 2004)