The Description of Finite Sequential Processes
Kenneth E. Iverson