Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN:0198538359
COMPUTER SCIENCE A BREADTH-FIRST APPROACH WITH PASCAL
1995 年出版730 页ISBN:0471311987
SURFACE AND INTERFACIAL SCIENCE APPLICATIONS TO ENGINEERING AND TECHNOLOGY
2222 年出版542 页ISBN:8173194645
MAKING SENSE:CONSTRUCTING KNOWLEDGE IN THE ARTS AND SCIENCE
2002 年出版661 页ISBN:0395986303
INTRODUCTION TO PHYSICAL EDUCATION EXERCISE SCIENCE AND SPORT STUDIES
2222 年出版460 页ISBN:9780073523606