by Ernest G. Manes
Defining programming-language semantics algebraically using two approaches based on denotational semantics: order semantics and partially additive semantics.