I am currently using this book for a class in programming semantics. The book is clear in its explanations and diagrams. I also like the additional content on the CD... this is the first book CD that I have used more than once! In my opinion great book.
