TY - GEN AU - Harel,D TI - Algorithmics:The spirit of computing PY - 2001/// CY - ND PB - Pearson Education ER -