1. Duality in specification languages: a lattice-theoretical approach

   • R. J. R. Back
   • J. von Wright

   OriginalPaper Pages: 583 - 625

2. Minimizing time-space cost for database version control

   • Lin Yu
   • Daniel J. Rosenkrantz

   OriginalPaper Pages: 627 - 663

3. Proving relative lower bounds for incremental algorithms

   • A. Michael Berman
   • Marvin C. Paull
   • Barbara G. Ryder

   OriginalPaper Pages: 665 - 683