Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN:0198538359
INTRODUCTION TO DATA STRUCTURES AND NON-NUMERIC COMPUTATION
1972 年出版629 页ISBN:0134798996
Numerical computation of electric and magnetic fields second edition
1997 年出版260 页ISBN:0412086212