================================================================================
P9318   I. Bethke & A. Ponse
        "A car registration authority, a concise PSF-specification"


A PSF specification of a Car Registration Authority is given. Typical
is the use of encapsulation of actions having certain data values, and
data parametric communication and recursion. The PSF specification has
been simulated.