Practical introduction to denotational semantics - Allison Lloyd (London CUP UK, 1986)
Keywords: ENGINEERING