1. The clean termination of Pascal programs

   • D. Coleman
   • J. W. Hughes

   OriginalPaper Pages: 195 - 210

2. The correctness of the Schorr-Waite list marking algorithm

   • R. W. Topor

   OriginalPaper Pages: 211 - 221

3. The Schorr-Waite graph marking algorithm

   • David Gries

   OriginalPaper Pages: 223 - 232

4. Intersections de langages algébriques bornés

   • Michel Latteux

   OriginalPaper Pages: 233 - 240

5. Opérations de cylindre et applications séquentielles gauches inverses

   • Jean-Michel Autebert

   OriginalPaper Pages: 241 - 258

6. Extended linear macro grammars, iteration grammars, and register programs

   • Peter R. J. Asveld
   • Joost Engelfriet

   OriginalPaper Pages: 259 - 285