@article {LutMayMSDHL, title = {Measure stochasticity and the density of hard languages}, journal = {SIAM Journal on Computing}, volume = {23}, year = {1994}, pages = {762-779}, author = {J.H. Lutz and E. Mayordomo} }