Αποστολή με SMS: Mathematical methods of specification and synthesis of software systems '85