Email Record: Simple, efficient distributed depth-first-search algorithms /