Отправить по sms: Symbolic algebraic methods and verification methods / Göetz Alefeld [and others] (eds.).