I took Watrous’s theory of (classical) computation course during my UW undergrad.
His lecturers were always very well prepared and engaging, the notes he released (iirc there were some supplementary notes) were great and his assignments were interesting. He also had consistently great type setting.
I guess I wanted to say that this book is probably cool.