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