ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 4
2222 年出版509 页ISBN：082472254X
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE VOLUME I:SETS
RELATIONS2222 年出版0 页ISBN：
Design Theory and Computer Science Processes and Methodology of Computer Systems Design
1991 年出版428 页ISBN：9780521118156
The Theory of Computer Science A Programming Approach
J.M.BRADY2222 年出版287 页ISBN：
WILEY ENCYCLOPEDIA OF COMPUTER SCIENCE AND ENGINEERING VOLUME 1
2009 年出版746 页ISBN：9780471383932
30TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE
2222 年出版632 页ISBN：0818619821
FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
G.GOOS AND J.HARTMANIS2222 年出版420 页ISBN：3540534873
FOUNDATIONS OF COMPUTER SCIENCE FROM DATA MANIPULATION TO THEORY OF COMPUTATION
（美）弗若赞（FOROUZAN2004 年出版384 页ISBN：
