It shows how a reusable method is found where two or more events have the same effect, at the same state, in a state machine.

And its (partly automated) derivation of event-oriented procedures from object-oriented state machines is remarkable.

However, a weakness is that the discussion is all about method bodies rather than interfaces. And the authors are not enthusiastic about inheritance or polymorphism.