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