Constructible sets with applications - Beklemishev. (Elsevier,)