Ronald V. Book Osamu Watanabe On Random Hard Sets for NP. 70-76 1996 125 Inf. Comput. 1 db/journals/iandc/iandc125.html#BookW96