Simple Program Schemes and Formal Languages (Lecture Notes in Computer Science, 20)
Recognition of Pattern and Form Proceedings of a Conference Held at the University of Texas at Austin, March 22–24, 1979
Grammar and L Forms: An Introduction (Lecture Notes in Computer Science, 91)
Interdisciplinary Investigation of the Brain The Proceedings of a Symposium held at Oxford, April 11th–13th, 1972
Readings on Cognitive Ergonomics, Mind and Computers Proceedings of the Second European Conference, Gmunden, Austria, September 10-14, 1984
L Systems (Lecture Notes in Computer Science, 15)
Algebraic Semantics (Lecture Notes in Computer Science, 99)
Fundamentals of Computation Theory Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977
6th Conference on Automated Deduction: New York, USA, June 7-9, 1982 (Lecture Notes in Computer Science)
Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science, 131)