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