"David" . "Weak truth-table"@en . "Randomness"@en . "David Doty" . "Extractor"@en . "Doty" . "690904a214789dc725d48a80fcea3741" . "Constructive dimension"@en . . . . "Degree"@en .