Development of procedures for using GRASS GIS in planetary mapping.