Basic Structure of Denotational Definitions