Bibliographia geodaetica : international geodetic documentation.