POOL - modelling class-based languages