Title: An encyclopædia of civil engineering, historical, theoretical, and practical