What do you think are the most important/best books to read on typology? On a related note, I'm looking for a book with some in depth analysis on the functions, so any help on that would be appreciated.