Analysis of Drum and Disk Storage Units (Lecture Notes in Computer Science, 31)
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
Microcomputer System Design: An Advanced Course (Springer Study Edition)
Design of Digital Computers: An Introduction (Monographs in Computer Science)
L Systems (Lecture Notes in Computer Science, 15)
Algebraic Semantics (Lecture Notes in Computer Science, 99)
Simple Program Schemes and Formal Languages (Lecture Notes in Computer Science, 20)
A handbook of systems analysis
A Calculus of Communicating Systems (Lecture Notes in Computer Science, 92)
Mathematics for Computing (Macmillan computer science series)
