algorithm specification - Search