1. Introduction

   • Fred B. Schneider

   EditorialNotes Pages: 1 - 3

2. Algebraic and functional specification of an interactive serializable database interface

   • Manfred Broy

   OriginalPaper Pages: 5 - 18

3. Operational specification with joint actions: Serializable databases

   • Reino Kurki-Suonio

   OriginalPaper Pages: 19 - 37

4. Specifying modules to satisfy interfaces: A state transition system approach

   • Simon S. Lam
   • A. Udaya Shankar

   OriginalPaper Pages: 39 - 63

5. Critique of the Lake Arrowhead Three

   • Leslie Lamport

   OriginalPaper Pages: 65 - 71