1. On hierarchies of abstract data types

   • Martin Wirsing
   • Peter Pepper
   • Manfred Broy

   OriginalPaper Pages: 1 - 33

2. General predicate transformer and the semantics of a programming language with go to statement

   • Jifeng He

   OriginalPaper Pages: 35 - 57

3. A sound and relatively complete Hoare-logic for a language with higher type procedures

   • Werner Damm
   • Bernhard Josko

   OriginalPaper Pages: 59 - 101

4. On sets of Boolean n-vectors with all k-projections surjective

   • Ashok K. Chandra
   • Lawrence T. Kou
   • Shmuel Zaks

   OriginalPaper Pages: 103 - 111