1. Toward formal development of programs from algebraic specifications: Implementations revisited

   • Donald Sannella
   • Andrzej Tarlecki

   OriginalPaper Pages: 233 - 281

2. A second order theory of data types

   • Zhang Ming-Hua

   OriginalPaper Pages: 283 - 303

3. A proof system for distributed processes

   • A. E. K. Sobel
   • N. Soundararajan

   OriginalPaper Pages: 305 - 332

4. The complexity of reachability in distributed communicating processes

   • John H. Reif
   • Scott A. Smolka

   OriginalPaper Pages: 333 - 354