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