1. Specification of data restructuring software based on the attribute method

   • Timo Niemi

   OriginalPaper Pages: 425 - 460

2. The use of hoare logic in the verification of horizontal microprograms

   • Subrata Dasgupta
   • Alan Wagner

   OriginalPaper Pages: 461 - 490

3. A VLSI design for the parallel finite state automaton and its performance evaluation as a hardware scanner

   • A. R. Hurson

   OriginalPaper Pages: 491 - 508

4. Surjections and coverings

   • Lena Chang
   • Arthur T. Poe

   OriginalPaper Pages: 509 - 520