J. Charité (eindred.), e.a., Biografisch woordenboek van Nederland 1 (Nijhoff, ’s-Gravenhage, 1979). Rijks Geschiedkundige Publicatiën, p. 100-101.