Catalogus van de boekwerken voorhanden in de bibliotheek van het Koninklijk Instituut van Ingenieurs, 1856