Bykart fra 1794. Oslo kommune, Byarkivets hjemmeside Besøkt 13.3.2020. Bykart fra 1887 som viser bygrensen 1878-1948 og utvidelsene i 1859 og 1878, se tegnforklaring øverst til høyre. Oslo kommune, Byarkivets hjemmeside Besøkt 13.3.2020.