1. Laws of data refinement

   • Joseph M. Morris

   OriginalPaper Pages: 287 - 308

2. Predicate-transformer semantics of general recursion

   • Wim H. Hesselink

   OriginalPaper Pages: 309 - 332

3. Failures semantics and deadlocking of modular Petri nets

   • Walter Vogler

   OriginalPaper Pages: 333 - 348

4. Modeling splits in file structures

   • Ricardo A. Baeza-Yates

   OriginalPaper Pages: 349 - 362

5. On counting and approximation

   • Johannes Köbler
   • Uwe Schöning
   • Jacobo Toran

   OriginalPaper Pages: 363 - 379

6. Through the mincing machine with a Boolean layer cake

   • Edward G. Belaga

   OriginalPaper Pages: 381 - 407