An Encyclopedia of Civil Engineering, Historical, Theoretical, and Practical, by Edward Cresy, 1847