Shoenfield. Non-bounding Constructions. Elsevier BV, 1990, doi:10.1016/0168-0072(90)90048-7.