Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN:3540112103
Design Theory and Computer Science Processes and Methodology of Computer Systems Design
1991 年出版428 页ISBN:9780521118156
RECURSIVE METHODS IN ECONOMIC DYNAMICS
NANCY L.STOKEY AND ROBERT E.LUCAS WITH EDWARD C.PRESCOTT1989 年出版0 页ISBN:
METHODS IN ENZYMOLOGY VOLUME 165 MICROBIAL TOXINS:TOOLS IN ENZYMOLOGY
1988 年出版440 页ISBN:0121820661