1. The parsing problem for affix grammars

   • David Anthony Watt

   OriginalPaper Pages: 1 - 20

2. Proof of termination within a weak logic of programs

   • David C. Luckham
   • Norihisa Suzuki

   OriginalPaper Pages: 21 - 36

3. Extended directed graphs, a formalism for structured data and data structures

   • M. E. Majster

   OriginalPaper Pages: 37 - 59

4. Complete parameterized families of job scheduling strategies

   • I. Mitrani
   • J. H. Hine

   OriginalPaper Pages: 61 - 73

5. EOL forms

   • H. A. Maurer
   • A. Salomaa
   • D. Wood

   OriginalPaper Pages: 75 - 96