LAUER, Johann von. <i>Methode zur Zerstörung von Felsen in Flüssen mittels aufgelegter Sprengladungen</i>. 1892.