Відправити по sms: Denotational semantics : a methodology for language development / David A. Schmidt.