Algorithmics: The Spirit of Computing - David Harel (John Wiley & Sons)