Python "byte code" description

[Derek Thomson]

Hi,

To the best of my understanding, the Python interpretor executes Python 
code that has been compiled to a Python byte code.

Is this byte code specified anywhere? I can't seem to find anything, 
except this very cursory overview:

http://python.org/doc/current/lib/bytecodes.html

Is there anything more comprehensive, apart from the Python 
implementation itself? Not only do I need the actual file format, but 
also the run time assumptions (stack and memory characteristics) would 
also be necessary.

Thanks in advance,
D.