Given a massive log file represented as a list of strings, where each string is the title of a book that a user has read, implement a function to find the top K most frequently read books.
The function should return a list of the top K book titles sorted by their frequency in descending order. If two books have the same frequency, return them in alphabetical order.
def top_k_frequent_books(logs, K):