%
\chapter{Informal Description of \specimen}
\label{specimen-informal}
\version{0.2}

\section*{}

This appendix and the next one define \specimen.
We present here an informal description of \specimen;
the formal definition is given in the next appendix.
This organization was inspired by the one
found in \cite{watt91} and it enphasizes the complementary aspect
of informal and formal descriptions.
%In the last section we give the
%example programs which were used for the benchmarks of Chapter~\ref{concl}.

\input{../appendB/informal}
