Advanced Techniques in Framework:Programming in FRED
1985 年出版320 页ISBN:0895882469
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