Algorithmics by Yishai and Feldman David Harel