(1) Inductive Logic Programming: From Machine Learning to Software Engineering by Francesco Bergadano and Daniele Gunetti ISBN: 9780262023931 MIT Press View at publisher
(2) Logic Programming: The 1995 International Symposium Edited by John W. Lloyd ISBN: 9780262620994 MIT Press View at publisher
(3) The Little Schemer, fourth edition by Daniel P. Friedman and Matthias Felleisen ISBN: 9780262560993 MIT Press View at publisher
(4) The Seasoned Schemer, second edition by Daniel P. Friedman and Matthias Felleisen ISBN: 9780262561006 MIT Press View at publisher