An axiomatic proof technique for parallel programs I Susan OwickiDavid Gries OriginalPaper Pages: 319 - 340
On the implementation of Strassen's fast multiplication algorithm Jacques CohenMartin Roth OriginalPaper Pages: 341 - 355
An O(n) algorithm for computing the set of available expressions of D-charts K. TaniguchiT. Kasami OriginalPaper Pages: 361 - 364
On proving that certain languages are not ETOL A. EhrenfeuchtG. Rozenberg OriginalPaper Pages: 407 - 415