1 - Denotational semantics : the Scott-Strachey approach to programming language theoryStoy, Joseph E.Cote : [77.5 STO 77]