26 CAMBRIDGE COMPUTER SCIENCE TEXTS CONCURRENT PROGRAMMING
1992 年出版238 页ISBN：0521329762;0521339936
25 CAMBRIDGE COMPUTER SCIENCE TEXTS THE PRINCIPLES OF COMPUTER NETWORKING
D.RUSSELL2222 年出版513 页ISBN：0521339928
Lecture Notes in Computer Science 469 Semantics of Systems of Concurrent Processes
1990 年出版456 页ISBN：3540534792
COMPUTER SCIENCE:A STRUCTURED PROGRAMMING APPROACH USING C
1997 年出版860 页ISBN：031409573X
The Theory of Computer Science A Programming Approach
J.M.BRADY2222 年出版287 页ISBN：
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
Lecture Notes in Computer Science 244 Advanced Programming Environments
1986 年出版604 页ISBN：3540171894
