================================================================================
P9425   B. Diertens & A. Ponse
        "New features in PSF II: iteration and nesting"


PSF has already been provided with interrupts, disrupts, and priorities
(see [Die94]}. Now, PSF has been extended with an iteration and a nesting
operator.


[Die94] B. Diertens, "New Features in PSF I - Interrupts, Disrupts, and
        Priorities", report P9417, Programming Research Group - University
        of Amsterdam, June 1994.