Αποστολή με SMS: The Deductive foundations of computer programming