Algoritmi - Harel, David (Springer Milan, 2008)