Forbes D. Lewis: On Computational Reducibility. J. Comput. Syst. Sci. 12(1): 122-131 (1976)