The use of Kalman filters in GPS navigation - Merminod, Bertrand (UNISURV report S, 1989)