Title: An encyclopædia of civil engineering