Відправити по sms: Formalization and automatic derivation of code generators / by R.G.G. Cattell.