tion by M&ouml;ssenb&ouml;ck that you can read
<A HREF="http://www.ssw.uni-linz.ac.at/Research/Projects/Coco/">here</A>.
There are also implementations of Coco/R for
<A HREF="http://cs.ru.ac.za/homes/cspt/cocor.htm">C, C#, Pascal, Delphi and
Modula-2</A> and for
<A HREF="ftp://ftp.ssw.uni-linz.ac.at/pub/Oberon/LinzTools/Coco.Cod">
Oberon</A>. </P>

<H2>Contents</H2>

<OL>
<LI><A HREF="#intro">Introduction</A> </LI>
<P>
<LI><A HREF="#InpLang">The specification language Cocol/R</BR>
</A>
2.1 Vocabulary<BR>
2.