Books Recommended by Martin Odersky