• Dexter Kozen
  Church—Rosser Made Easy
  Fundamentae Informaticae 105(2010) 1-8
  (DOI:DOI:10.3233/FI-2010-322, PDF of local copy; accessed 27-10-2025)