Exercises in Computer Systems Analysis (Lecture Notes in Computer Science, 35)
A Calculus of Communicating Systems (Lecture Notes in Computer Science, 92)
User Interface Design: A Structured Approach (Languages and Information Systems)
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
Cooperative Interfaces to Information Systems (Topics in Information Systems)
Grammar and L Forms: An Introduction (Lecture Notes in Computer Science, 91)
L Systems (Lecture Notes in Computer Science, 15)
Analysis of Drum and Disk Storage Units (Lecture Notes in Computer Science, 31)
Human-Computer Interface Design
Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)