HOLZER, Stefan M.. Numerical arch and vault analysis. 2013.