A unified view of the complexity of evaluation and interpolation Ellis Horowitz OriginalPaper Pages: 123 - 133
Consistent and complementary formal theories of the semantics of programming languages C. A. R. HoareP. E. Lauer OriginalPaper Pages: 135 - 153
Weakly context-sensitive languages as model for programming languages P. F. Schuler OriginalPaper Pages: 155 - 170
An abstract machine theory for formal language parsers David B. Benson OriginalPaper Pages: 187 - 202