Composition and evaluation of attribute coupled grammars Robert Giegerich OriginalPaper Pages: 355 - 423
Program-substitution and admissibility of rules in algorithmic logic Andrzej Biela OriginalPaper Pages: 439 - 473