Proof rules for the programming language Euclid R. L. LondonJ. V. GuttagG. J. Popek OriginalPaper Pages: 1 - 26
The algebraic specification of abstract data types J. V. GuttagJ. J. Horning OriginalPaper Pages: 27 - 52
Bounded quantification and relations recognizable by finite automata Teuvo Laurinolli OriginalPaper Pages: 67 - 78
Information management in context trees Carlo MontangeroGiuliano PaciniFranco Turini OriginalPaper Pages: 85 - 94
Performance analysis of multiprocessor systems containing functionally dedicated processors Jane W. S. LiuC. L. Liu OriginalPaper Pages: 95 - 104