Contributions to the history of geological mapping: Proceedings of the Xth INHIGEO Symposium, 16-22 August 1982, Budapest, Hungary