Source: "Raymond Smullyan Bibliography." Author Wars, https://authorwars.com/authors/raymond-smullyan.html".