Robinson, John Charles, Index entry in: Deutsche Biographie, https://www.deutsche-biographie.de/pnd116577797.html [10.05.2025].