Thanks go to Carsten Strotmann for scanning the papers.

<p><a href="euroforml85.bib">BibTeX file</a>
<p><a href="toc.pdf">Timetable and table of contents</a>
<hr>
<a href="../../ef85.html">EuroFORML 1985</a><br>
<a href="http://www.complang.tuwien.ac.at/anton/">Anton Ertl</a>