Global positioning system : papers published in Navigation (Institute of Navigation, 1980)