Отправить по sms: Formal description of programming concepts / Erich J. Neuhold, Manfred Paul (eds.) ; with contributions by K.R. Apt ... [and others].