Відправити по sms: Formal models in programming : proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985 / edited by E.J. Neuhold and G. Chroust.