Chapter 4. State, behavior, and actors
Table 4.1. State transition table for a turnstile showing the current state and the next state it transitions to upon receiving a message