It is excellent and easy-to-follow … right up until the denotational semantics piece, which I found very difficult to understand. Maybe someday!