この資料をSMS送信: Formal methods and object technology / S.J. Goldsack and S.J.H. Kent, eds.