I read that book, and I think that it is good. (I do think BlooP and FlooP can be reduced though; IF and comparisons and multiplications are not needed, since they can be implemented out of the other stuff.)