この資料をSMS送信: The formal semantics of programming languages.