tʃapːtˈeɾ tɾˈes tˈuɾiŋ matʃˈines wˈeɾe tˈeɪ ðiskˈuss "θˈeɾtaɪn ˌenumeɾˈaβle sˈets nˈot ˌeffektiβˈeli mˌetʃanikˈaʎi ˌenumeɾˈaβle".
Chapter 3 Turing machines where they discuss "certain enumerable sets not effectively (mechanically) enumerable".