Das Recht des Eigentümers zur Vertiefung seines Grundstückes nach römischem, gemeinem Rechte und nach dem BGB. - Heinen, Mathias (1907)