This directory contains the second example in chapter 6 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
