1. Proof of correctness of data representations

   • C. A. R. Hoare

   OriginalPaper Pages: 271 - 281

2. A model for data structures and its applications. (Part II)

   • W. M. Turski

   OriginalPaper Pages: 282 - 289

3. Symmetric binary B-Trees: Data structure and maintenance algorithms

   • Rudolf Bayer

   OriginalPaper Pages: 290 - 306

4. Least upper bound on the cost of optimum binary search trees

   • T. C. Hu
   • K. C. Tan

   OriginalPaper Pages: 307 - 310

5. Bounds on algorithms for string generation

   • A. C. McKellar
   • C. K. Wong

   OriginalPaper Pages: 311 - 319

6. Berechnung und programm. I

   • Volker Strassen

   OriginalPaper Pages: 320 - 335

7. On non-determinancy in simple computing devices

   • Juris Hartmanis

   OriginalPaper Pages: 336 - 344

8. Endliche Automaten und Zufallsfolgen

   • C. P. Schnorr
   • H. Stimm

   OriginalPaper Pages: 345 - 359

9. Automatic analysis of inflectional morphems in German nouns

   • Gerda Schott

   OriginalPaper Pages: 360 - 374

10. Comments on “A comparison of two synchronizing concepts by P.B. Hansen”

    • P. J. Courtois
    • F. Heymans
    • D. L. Parnas

    OriginalPaper Pages: 375 - 376