Separating Control From Specification For Parallel And Distributed Search Algorithms