Zaslať SMS: Príspevok k automatickej syntéze programov :