Navigation functions for unknown sphere worlds, general geometries, their inverse problem and combination with formal methods - Φιλιππίδης, Ιωάννης Φ. (N/A, 1970)