Leveling. Manual of 1st-order leveling; by Henry G. Avers.