"R. Z. Has'minskii"