Text this: Denotational semantics : a methodology for language development / David A. Schmidt.