Selected references Seymour Ginsburg. Compatibility of states in input-independent machines. Journal of the ACM, 8(3):400-403, July 1961.