FORMAL VLSI CORRECTNESS VERIFICATION VLSI Design Methods-II
1990 年出版427 页ISBN:0444886885
ELECTRON MICROSCOPY OF ENZYMES PRINCIPLES AND METHODS VOLUME I
1973 年出版201 页ISBN:0442256760
ALGEBRAIC METHODS IN THE GLOBAL THEORY OF COMPLEX SPACES
1976 年出版296 页ISBN:0471018090