Ker-I Ko The Maximum Value Problem and NP Real Numbers. 15-35 1982 24 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss24.html#Ko82