This directory contains the third example in chapter 3 of Mauw & Veltink,
_Algebraic Specification of Communication Protocols_, 1993.

all.psf	contains the example in the form of one long file
*.psf	contains same in the form of one module per file
