A history of inventions and discoveries [electronic resource] / by John Beckmann