Отправить по sms: Understanding formal methods / written and translated by Jean François Monin ; translation editor, Michael G. Hinchey.