Dictionary of National Biography, 1885-1900/Van de Velde, Willem (1633-1707)

