Closed left-r.e. sets - Jain S. (IOS Press, 2020)
10.3233/COM-160054