ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 11
1978 年出版496 页ISBN:0824722612
ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 14
1980 年出版256 页ISBN:0824722140
ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 2
2222 年出版494 页ISBN:0824722523
ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 4
2222 年出版509 页ISBN:082472254X
The Theory and Science of Basketball
1975 年出版253 页ISBN:9780812105025;0812105028
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: