2nd Edition A first introduction to categories2009 年出版391 页ISBN:9780521719162
COMPUTERS IN THE PRACTICE OF MEDICINE VOLUME I INTRODUCTION TO COMPUTING CONCEPTS
1980 年出版266 页ISBN:0201012510
Conference Proceedings of The Thirteenth Annual ACM Symposium on Theory of Computing
1981 年出版391 页ISBN:0897910419