Αποστολή με SMS: Parallel Algorithm Derivation and Program Transformation