Programs and Machines An Introduction to the Theory of Computation
1976 年出版214 页ISBN:0471016500
Introduction To The Formal Design of Real-Time Systems
1999 年出版461 页ISBN:3540761403
THE RIVER BASIN AN INTRODUCTION TO THE STUDY OF HYDROLOGY
1978 年出版120 页ISBN:0521219000
AN INTRODUCTION TO COMPUTATINAL FLUID DYNAMICS THE FINITE VOLUME METHOD
2222 年出版257 页ISBN:0582218845