NAVSTAR performance analysis - Wells, David Ernest (Technical report, 1980)