(1) Digital Images and Human Vision Edited by Andrew B. Watson ISBN: 9780262231718 MIT Press View at publisher
(2) Hilbert's 10th Problem by Yuri Matiyasevich ISBN: 9780262132954 MIT Press View at publisher
(3) Logic Programming: Proceedings of the 1993 International Symposium October 26–29, 1993, Vancouver, British Columbia Edited by Dale Miller ISBN: 9780262631525 MIT Press View at publisher