この資料をSMS送信: Towards a formal description of Ada /