Hal 9000: books, biography and more