Αποστολή με SMS: Logic of programming and calculi of discrete design /