Rabinovichand Thomas. Logical Refinements of Church's Problem. Springer Berlin Heidelberg, doi:10.1007/978-3-540-74915-8_9.