この資料をSMS送信: Software systems construction with examples in Ada /