Class-Based versus Object-Based: A Denotational Comparison