Text this: The denotational description of programming languages :