[Map Information Office] MIO (series). 6. Checklist of current indexes to topographic mapping.