Semantics of POOSL door J.P.M. Voeten