PS-ALGOL Extension of