Global positioning system. Theory and applications. - Bradford, W