Cantor's diagonal argument/Bibliography