De Mol, Liesbeth, “Closing the Circle: An Analysis of Emil Post’s Early Work”, Bulletin of Symbolic Logic 12 (2006), 267–289 - Peckhaus, Volker (Mathematical Reviews, MR 2007a:03002)