Lecture Notes in Computer Science 45 Mathematical Foundations of Computer Science 1976
1976 年出版606 页ISBN：3540078541
Lecture Notes in Computer Science 379 Mathematical Foundations of Computer Science 1989
1989 年出版605 页ISBN：3540514864
OPTIMIZATION OF COMPUTER ECG PROCESSING
H.K.WOLF & P.W.MACFARLANE1980 年出版346 页ISBN：0444854134
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
DEPENDABILITY OF CRITICAL COMPUTER SYSTEMS 1
F.J.REDMILL2222 年出版292 页ISBN：1851662030
Design Theory and Computer Science Processes and Methodology of Computer Systems Design
1991 年出版428 页ISBN：9780521118156
