The Denotational Description t~f Programming Languages (1979)

by M Gordon