Publications on geodesy / Netherlands Geodetic Commission