The author's influence in computer science ranges from the invention of methods for translating and defining programming languages to the creation of the TeX and METAFONT systems for desktop publishing. This volume is the eighth in a series of his collected papers. tovább