Bordoni, Antonio: Trattato di geodesia elementare. Pavia : dalla Tipografia di Pietro Bizzoni 1843