Dan Moore, John Case: The Complexity of Total Order Structures. J. Comput. Syst. Sci. 17(2): 253-269 (1978)