1. Algorithms for fast evaluation of Boolean expressions

   • Yuri Breitbart
   • Allen Reiter

   OriginalPaper Pages: 107 - 116

2. Proving properties of interacting processes

   • Glen Newton

   OriginalPaper Pages: 117 - 126

3. The verification and synthesis of data structures

   • Jay Spitzen
   • Ben Wegbreit

   OriginalPaper Pages: 127 - 144

4. Automatic program verification I: A logical basis and its implementation

   • Shigeru Igarashi
   • Ralph L. London
   • David C. Luckham

   OriginalPaper Pages: 145 - 182

5. Ambiguity and precedence in syntax description

   • Jay Earley

   OriginalPaper Pages: 183 - 192

6. On 3-head versus 2-head finite automata

   • Oscar H. Ibarra
   • Chul E. Kim

   OriginalPaper Pages: 193 - 200