この資料をSMS送信: Formal specification of a display editor /