Which OS book would you recommend? Anything similar to the DDIA style (not too academic)?