Title: Positioning With Navstar, the Global Positioning System (Reports of the Department of Geodetic Science and Surveying, No 370)