DIGITAL THEORY AND EXPERIMENTATION USING INTEGRATED CIRCUITS
1974 年出版227 页ISBN:0132122588
THE USE OF ULTRAPRODUCTS IN COMMUTATIVE ALGEBRA
2010 年出版210 页ISBN:9783642133671
Major Microprocessors A Unified Approach Using CALM
1987 年出版330 页ISBN:0444701168
CASE Using Software Development Tools Second Edition
1991 年出版332 页ISBN:0471530425