@MISC{Downey_asymptoticdensity, author = {Rodney G. Downey and et al.}, title = {Asymptotic density and computably . . . }, year = {}}