Denotational semantics a methodology for language development - Schmidt, David A. (Allyn and Bacon, 1986)