This directory contains examples taken from S. Mauw & G.J. Veltink,
_Algebraic Specification of Communication Protocols_, Cambridge Tracts
in Theoretical Computer Science 36, Cambridge University Press, 1993.
That is, the I-th example in chapter N can be found in the subdirectory
chN.I; the specifications in appendix A can be found in ch.a .
