Jack H. Lutz Elvira Mayordomo Twelve Problems in Resource-Bounded Measure. 83-101 2001 Current Trends in Theoretical Computer Science db/books/collections/PhaunRS2001.html#LutzM01