20世紀の名著名論:Robert Balzer : An 8-State Minimal Time Solution to the Firing Squad Synchronization Problem