The design and construction of a state machine system that handles nondeterminism. - Graham G. Thomason (2004)