Joannes Simons, Jerusalem in the Old Testament (Brill: Leiden, 1952), p. 346.