NASA technical note TN (series). D-1678. Logical net mechanization for time-optional regulation [with list of references]: by F. B. Smith, jr.