Grammar and L Forms: An Introduction (Lecture Notes in Computer Science, 91)
Simple Program Schemes and Formal Languages (Lecture Notes in Computer Science, 20)
Lindenmayer Systems Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology
Algebraic Semantics (Lecture Notes in Computer Science, 99)
A Calculus of Communicating Systems (Lecture Notes in Computer Science, 92)
Feedback Shift Registers (Lecture Notes in Computer Science, 169)
Exercises in Computer Systems Analysis (Lecture Notes in Computer Science, 35)
An Attribute Grammar for the Semantic Analysis of ADA (Lecture Notes in Computer Science, 139)
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
Handbook of Formal Languages Volume 1. Word, Language, Grammar