Denning's class diagrams