L Systems (Lecture Notes in Computer Science, 15)
A Calculus of Communicating Systems (Lecture Notes in Computer Science, 92)
Algebraic Semantics (Lecture Notes in Computer Science, 99)
Graph-Grammars and Their Application to Computer Science: 2nd International Workshop. Haus Ohrbeck, Germany, October 4 - 8, 1982 (Lecture Notes in Computer Science)
An Attribute Grammar for the Semantic Analysis of ADA (Lecture Notes in Computer Science, 139)
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
Analysis of Drum and Disk Storage Units (Lecture Notes in Computer Science, 31)
New Topics in Learning Automata Theory and Applications (Lecture Notes in Control and Information Sciences, 71)
Exercises in Computer Systems Analysis (Lecture Notes in Computer Science, 35)
