Theoretical Computer Science, Volume 42

Volume 42, 1986

• Bruno Courcelle: Equivalences and Transformations of Regular Systems-Applications to Recursive Program Schemes and Grammars. 1-122 BibTeX
• Martin Wirsing: Structured Algebraic Specifications: A Kernel Language. 123-249 BibTeX
• Joost Engelfriet, Heiko Vogler: Pushdown Machines for the Macro Tree Transducer. 251-368 BibTeX