Selected references
- Seymour Ginsburg. On the length of the smallest uniform experiment which distinguishes the terminal states of a machine. Journal of the ACM, 5(3):266-280, July 1958.
- Seymour Ginsburg. On the reduction of superfluous states in a sequential machine. Journal of the ACM, 6(2):259-282, April 1959.