Joannes Simons, Jerusalem in the Old Testament (Leiden: Brill, 1952), pp. 403, 415.