Dokumentace existence proměnných window, document

Zdravím,

rád bych se zeptal, jestli někdo nevíte, kde je zdokumentovaná existence JavaScriptových globálních proměnných window, document, rozhraní pro objekt Window a dalších součástí prostředí prohlížeče. Očekával jsem, že půjde o součást specifikace DOMu, ale nějak se mi nedaří nic najít. Potřebuji to jako citaci do bakalářky. :-)

Fisir:
Asi ano, nicméně léta jsem žil v přesvědčení, že proměnná window, atribut defaultView v rozhraní Document, který na aktuální objekt window odkazuje, a samotné rozhraní popisující objekt window jsou součástí specifikace DOM. A to je přeci jenom autoritativnější zdroj.

Našel jsem asi nejautoritativnější zdroj, kterým je WHATWG specifikace.

_es:
To jsem ani nevěděl. Je k tomu pěkné shrnutí na <quirksmode.org/js/dom0.html>.