Sequential and parallel processing in depth search machines - Kapralski, Adam. (World Scientific, 1994)