Title: Denotational semantics
First published: 1981