Proving and applying program transformations expressed with second-order patterns Gérard HuetBernard Lang OriginalPaper Pages: 31 - 55
Remarks on “some comments on concurrent readers and writers” by Reidar Conradi Abraham SilberschatzBrian Johnson OriginalPaper Pages: 57 - 60
Improved time and space bounds for Boolean matrix multiplication Leonard AdlemanKellogg S. BoothWalter L. Ruzzo OriginalPaper Pages: 61 - 70